PolyLib
From MaRDI portal
Software:33989
swMATH22194MaRDI QIDQ33989FDOQ33989
Author name not available (Why is that?)
Cited In (7)
- Libraries for generic programming in Haskell
- Implementation of Functional Languages
- 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
