The following pages link to RepLib (Q25219):
Displaying 10 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Generic programming in 3D (Q923888) (← links)
- A Reflection on Types (Q3188294) (← links)
- A UNIVERSE OF STRICTLY POSITIVE FAMILIES (Q3620616) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Generic Programming with Dependent Types (Q4649382) (← links)
- On the bright side of type classes (Q5176970) (← links)
- Binders unbound (Q5176984) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
- Java generics are turing complete (Q5370847) (← links)