LNgen
From MaRDI portal
swMATH10111MaRDI QIDQ22080FDOQ22080
Author name not available (Why is that?)
Official website: http://repository.upenn.edu/cis_reports/933/
Cited In (23)
- 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
- Binders unbound
- GHCi
- POPLMark reloaded: mechanizing proofs by logical relations
- Contracts made manifest
- metalib
- GMeta: a generic formal metatheory framework for first-order representations
- Binding structures as an abstract data type
This page was built for software: LNgen
