The following pages link to (Q4825542):
Displayed 8 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)
- Libraries for Generic Programming in Haskell (Q3649135) (← 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)