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