Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"

Dataset

Description

Replication Package for Article: "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs".

Code and documentation available from the ACM Digital Library and GitHub
Date made available23 Aug 2018
PublisherAssociation for Computing Machinery (ACM)

Cite this

Allais, G. (Creator), Atkey, R. (Creator), Chapman, J. (Creator), McBride, C. (Creator), McKinna, J. (Creator). (23 Aug 2018). Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs". Association for Computing Machinery (ACM). 10.1145/3235048