RepLib
From MaRDI portal
Software:25219
No author found.
Related Items (10)
A Reflection on Types ⋮ Java generics are turing complete ⋮ Generic programming in 3D ⋮ Generic Programming with Dependent Types ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ On the bright side of type classes ⋮ Binders unbound ⋮ A UNIVERSE OF STRICTLY POSITIVE FAMILIES ⋮ Libraries for Generic Programming in Haskell ⋮ Free Theorems and Runtime Type Representations
This page was built for software: RepLib
