The following pages link to Generic Programming (Q5187876):
Displayed 7 items.
- A type system for reflective program generators (Q532406) (← 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)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)