Libraries for Generic Programming in Haskell
From MaRDI portal
Publication:3649135
DOI10.1007/978-3-642-04652-0_4zbMath1263.68037MaRDI 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
68N18: Functional programming and lambda calculus
Related Items
A lean specification for gadts: System F with first-class equality proofs, Libraries for Generic Programming in Haskell
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item