RepLib
From MaRDI portal
swMATH13304MaRDI QIDQ25219FDOQ25219
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1159844
Cited In (17)
- 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
- On the bright side of type classes: instance arguments in Agda
This page was built for software: RepLib
