PolyLib

swMATH22194MaRDI QIDQ33989FDOQ33989

Author name not available (Why is that?)

Cited In (7)

• Implementation of Functional Languages
• CoLoSS: The Coalgebraic Logic Satisfiability Solver
• Scrap more boilerplate
• Libraries for Generic Programming in Haskell
• 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