Cited in
(12)- GMeta: a generic formal metatheory framework for first-order representations
- A formalized general theory of syntax with bindings: extended version
- POPLMark reloaded: mechanizing proofs by logical relations
- Automatically Generated Infrastructure for De Bruijn Syntaxes
- Ott
- LNgen
- PoplMark
- MiniAgda
- Autosubst
- FreshOCaml
- Unbound
- Psi-calculi
This page was built for software: Gmeta