Bob Atkey

Search results

• 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