RepLib
From MaRDI portal
Software:25219
swMATH13304MaRDI QIDQ25219FDOQ25219
Author name not available (Why is that?)
Cited In (10)
- Free Theorems and Runtime Type Representations
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- A UNIVERSE OF STRICTLY POSITIVE FAMILIES
- Libraries for Generic Programming in Haskell
- Binders unbound
- On the bright side of type classes
- Generic Programming with Dependent Types
- Generic programming in 3D
- A Reflection on Types
- Java generics are turing complete
This page was built for software: RepLib
