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