LNgen
From MaRDI portal
Cited in
(23)- Binding structures as an abstract data type
- A formalized general theory of syntax with bindings: extended version
- \(\mathrm{HO}\pi\) in Coq
- Ott
- Visual C#
- Abella
- Gmeta
- PoplMark
- RepLib
- Delphin
- MiniAgda
- gradualizerDynamicSemantics
- Autosubst
- FreshOCaml
- HNT
- Unbound
- Psi-calculi
- GHCi
- Binders unbound
- metalib
- POPLMark reloaded: mechanizing proofs by logical relations
- Contracts made manifest
- GMeta: a generic formal metatheory framework for first-order representations
This page was built for software: LNgen
