Generic Programming

DOI10.1007/B12027MaRDI QIDQ5187876zbMATH 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

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18)

Recommendations

• Generic Haskell: applications.
• Libraries for generic programming in Haskell
• A static semantics for Haskell
• Parallel and Distributed Haskells
• Dependency-style generic Haskell
• Mathematics of Program Construction
• scientific article; zbMATH DE number 42965
• Implementation of Functional Languages
• scientific article; zbMATH DE number 6258512

Cited in

(7)

• Iteration and coiteration schemes for higher-order and nested datatypes
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Indexed induction-recursion
• Libraries for generic programming in Haskell
• A type system for reflective program generators
• Type-based termination of generic programs
• Generic programming in 3D

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Generic Programming

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