Dependency-style generic Haskell
From MaRDI portal
Publication:5261272
Recommendations
Cited in
(11)- scientific article; zbMATH DE number 2100542 (Why is no real title available?)
- Mathematics of Program Construction
- Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell
- A new approach to generic functional programming
- Generic Programming
- Generic programming with dependent types
- Faking it Simulating dependent types in Haskell
- Datatype-generic termination proofs
- Generic Haskell: applications.
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- A language for generic programming in the large
This page was built for publication: Dependency-style generic Haskell
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261272)