Libraries for generic programming in Haskell

DOI10.1007/978-3-642-04652-0_4MaRDI QIDQ3649135zbMATH OpenOpenAlexFDO

Authors Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev

Publication date 3 December 2009

Published in Advanced Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04652-0_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Generic Haskell: applications.
• “Scrap Your Boilerplate” Reloaded
• Generics for the masses
• Hierarchy in generic programming libraries
• Scrap more boilerplate: reflection, zips, and generalised casts

Cites work

• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 2086503 (Why is no real title available?)
• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• scientific article; zbMATH DE number 2111733 (Why is no real title available?)
• scientific article; zbMATH DE number 1424014 (Why is no real title available?)
• A theory of type polymorphism in programming
• An extended comparative study of language support for generic programming
• Comprehending monads
• Data structures and program transformation
• Generic Haskell: applications.
• Generic Programming
• Generic Views on Data Types
• Generic programming in 3D
• Generic programming with fixed points for mutually recursive datatypes
• Generics for the masses
• Generics for the masses
• Implementation of Functional Languages
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Libraries for generic programming in Haskell
• Mathematics of Program Construction
• Mathematics of Program Construction
• Polytypic programming in Maude
• Scrap more boilerplate: reflection, zips, and generalised casts
• Scrap your boilerplate with class: extensible generic functions
• “Scrap Your Boilerplate” Reloaded
• “Scrap Your Boilerplate” Revolutions

Cited in

(13)

• Generic Programming
• Libraries for generic programming in Haskell
• Scrap your nameplate (functional pearl)
• Generic programming with C++ concepts and Haskell type classes—a comparison
• Scala for generic programmers
• Hierarchy in generic programming libraries
• “Scrap Your Boilerplate” Reloaded
• Generic Haskell: applications.
• scientific article; zbMATH DE number 5165714 (Why is no real title available?)
• A lightweight approach to datatype-generic rewriting
• Mathematics of Program Construction
• Generic programming in 3D
• A lean specification for gadts: System F with first-class equality proofs

Describes a project that uses

Uses Software

• PolyLib
• RepLib
• QuickCheck
• Maude
• Haskell
• ML
• Coq

This page was built for publication: Libraries for generic programming in Haskell

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