Hierarchy in generic programming libraries

DOI10.1007/978-3-319-19797-5_5MaRDI QIDQ2941169zbMATH OpenOpenAlexFDO

Authors José Pedro Magalhães, Andres Löh

Publication date 27 August 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-19797-5_5

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Libraries for generic programming in Haskell
• Generic programming in 3D
• Generic programming with multiple parameters
• Generics for the masses
• A new approach to generic functional programming

Cites work

• A formal comparison of approaches to datatype-generic programming
• A lightweight approach to datatype-generic rewriting
• Complete and decidable type inference for GADTs
• Generic programming with fixed points for mutually recursive datatypes
• Generic programming with multiple parameters
• Generic Views on Data Types
• Scrap more boilerplate: reflection, zips, and generalised casts
• Type checking with open type functions

Cited in

(2)

• Libraries for generic programming in Haskell
• Generic programming with multiple parameters

This page was built for publication: Hierarchy in generic programming libraries

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