Datasets
- 2 results
Search results
-
Triangulating Context Lemmas
McLaughlin, C. (Creator), McKinna, J. (Creator) & Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017
DOI: 10.7488/ds/2264, https://popl18.sigplan.org/event/cpp-2018-triangulating-context-lemmas
Dataset
-
Morello Cerise Artifact
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset