The following pages link to (Q4816996):
Displaying 15 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Declarative Foreign Function Binding Through Generic Programming (Q2798279) (← links)
- Generic programming with C++ concepts and Haskell type classes—a comparison (Q3070769) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Generic functional programming with types and relations (Q4880524) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- (Q5094144) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- An extended comparative study of language support for generic programming (Q5308081) (← links)
- Dependent Types for Low-Level Programming (Q5756515) (← links)
