Libraries for Generic Programming in Haskell

DOI10.1007/978-3-642-04652-0_4zbMath1263.68037OpenAlexW2165533952MaRDI QIDQ3649135

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

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)

Related Items

A lean specification for gadts: System F with first-class equality proofs, Libraries for Generic Programming in Haskell

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Data structures and program transformation
• Generic programming in 3D
• A theory of type polymorphism in programming
• Scrap your boilerplate with class
• Generic programming with fixed points for mutually recursive datatypes
• “Scrap Your Boilerplate” Reloaded
• “Scrap Your Boilerplate” Revolutions
• Generic Views on Data Types
• Libraries for Generic Programming in Haskell
• Comprehending monads
• Generics for the masses
• Scrap more boilerplate
• Generic Programming
• Generic Programming
• An extended comparative study of language support for generic programming
• Mathematics of Program Construction
• Mathematics of Program Construction
• Implementation of Functional Languages
• Generics for the masses