research
∙
01/29/2020
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Almost every programming language's syntax includes a notion of binder a...
share
research
∙
07/11/2018
