Generic Haskell: applications.

DOI10.1007/B12027MaRDI QIDQ5187877zbMATH OpenOpenAlexFDO

Authors Ralf Hinze, Johan Jeuring

Publication date 9 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12027

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Libraries for generic programming in Haskell
• Dependency-style generic Haskell
• scientific article; zbMATH DE number 2100543
• Mathematics of Program Construction
• Generics for the masses

Cited in

(12)

• Generic Programming
• Libraries for generic programming in Haskell
• A type system for reflective program generators
• A generic functional representation of sorted trees supporting attribution (Haskell can do it)
• scientific article; zbMATH DE number 2100543 (Why is no real title available?)
• Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell
• Mathematics of Program Construction
• Dependency-style generic Haskell
• Generic programming in 3D
• Type-based termination of generic programs
• Generic programming with fixed points for mutually recursive datatypes
• Iteration and coiteration schemes for higher-order and nested datatypes

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Generic Haskell: applications.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187877)