PolyLib
From MaRDI portal
Software:33989
No author found.
Related Items
Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Scrap more boilerplate ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Implementation of Functional Languages ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Libraries for Generic Programming in Haskell
This page was built for software: PolyLib