Cited in
(17)- On the bright side of type classes: instance arguments in Agda
- Libraries for generic programming in Haskell
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- Generic programming with dependent types
- Java generics are Turing complete
- A UNIVERSE OF STRICTLY POSITIVE FAMILIES
- Free theorems and runtime type representations
- A reflection on types
- Polyp
- Shake
- XPTO
- PolyLib
- FreshOCaml
- HNT
- Unbound
- Binders unbound
- Generic programming in 3D
This page was built for software: RepLib
