The following pages link to Type-indexed data types (Q1881268):
Displaying 6 items.
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
