RepLib
From MaRDI portal
Software:25219
swMATH13304MaRDI QIDQ25219FDOQ25219
Author name not available (Why is that?)
Cited In (10)
- 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
- Binders unbound
- Generic programming in 3D
- On the bright side of type classes: instance arguments in Agda
This page was built for software: RepLib
