swMATH22194MaRDI QIDQ33989FDOQ33989
Author name not available (Why is that?)
Official website: http://www.cse.chalmers.se/~patrikj/poly/polylib/
Cited In (10)
- Libraries for generic programming in Haskell
- Implementation of Functional Languages
- CoLoSS: the coalgebraic logic satisfiability solver
- CoLoSS
- Polyp
- RepLib
- 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
