Datasets
Type-and-Scope Safe Programs and Their Proofs - Formalization
Chapman, J. (Creator), McBride, C. (Creator), Allais, G. (Creator), McKinna, J. (Creator), University of Strathclyde, 9 Dec 2016
DOI: 10.15129/f1283dbb-64fd-4d35-aacc-49d3cc0893b8, https://github.com/agda/agda and one more link, https://github.com/gallais/type-scope-semantics (show fewer)
Dataset
Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"
Allais, G. (Creator), Atkey, B. (Creator), Chapman, J. (Creator), McBride, C. (Creator), McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018
DOI: 10.1145/3235048, https://github.com/gallais/generic-syntax
Dataset