Pages that link to "Item:Q2942890"
From MaRDI portal
The following pages link to Programming with binders and indexed data-types (Q2942890):
Displaying 9 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- Programs Using Syntax with First-Class Binders (Q2988654) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Inductive Beluga: Programming Proofs (Q3454100) (← links)
- (Q4993349) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
