Dependency-style generic Haskell

DOI10.1145/944705.944719MaRDI QIDQ5261272zbMATH OpenOpenAlexFDO

Authors Andres Löh, Dave Clarke, Johan Jeuring

Publication date 2 July 2015

Published in Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/20859

zbMATH Keywords

functional programminggeneric Haskellgeneric programmingtype systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Generic Haskell: applications.
• A new approach to generic functional programming
• Generics for the masses
• Generic Views on Data Types
• scientific article; zbMATH DE number 2100543

Cited in

(11)

• Datatype-generic termination proofs
• Dynamic optimization for functional reactive programming using generalized algebraic data types
• Faking it Simulating dependent types in Haskell
• Generic programming with dependent types
• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• A new approach to generic functional programming
• Generic Programming
• Generic Haskell: applications.
• Mathematics of Program Construction
• A language for generic programming in the large
• Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell

Describes a project that uses

Uses Software

• Haskell
• OCaml
• Polyp

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)