The following pages link to PolyLib (Q33989):
Displayed 7 items.
- 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)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- Scrap more boilerplate (Q5178039) (← links)
- Implementation of Functional Languages (Q5466584) (← links)