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