The following pages link to (Q4825542):
Displaying 11 items.
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Declarative Foreign Function Binding Through Generic Programming (Q2798279) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- On generically stable types in dependent theories (Q3616351) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Prototype proofs in type theory (Q4487253) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709985) (← links)