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