Prototyping generic programming in Template Haskell

DOI10.1007/978-3-540-27764-4_17MaRDI QIDQ5313092zbMATH OpenOpenAlexFDO

Authors Ulf Norell, Patrik Jansson

Publication date 26 August 2005

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polytypic programming in Haskell
• Generic programming with multiple parameters
• Libraries for generic programming in Haskell
• scientific article; zbMATH DE number 2100543
• Generic Haskell: applications.

Cited in

(9)

• Using Template Haskell for abstract interpretation
• High-level views on low-level representations
• Generic programming with C++ concepts and Haskell type classes—a comparison
• Libraries for generic programming in Haskell
• Generic programming with multiple parameters
• Generic Programming
• Generic Haskell: applications.
• A formal comparison of approaches to datatype-generic programming
• Type-based termination of generic programs

Describes a project that uses

Uses Software

• Polyp
• Haskell

This page was built for publication: Prototyping generic programming in Template Haskell

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