PolyLib
From MaRDI portal
PolyLib Q33989
Cited in
(10)- Libraries for generic programming in Haskell
- Implementation of Functional Languages
- CoLoSS
- Polyp
- RepLib
- CoLoSS: the coalgebraic logic satisfiability solver
- Scrap more boilerplate: reflection, zips, and generalised casts
- Generic programming in 3D
- Type-based termination of generic programs
- Iteration and coiteration schemes for higher-order and nested datatypes
This page was built for software: PolyLib
