Generic Haskell: practice and theory (2003)

by Ralf Hinze , Johan Jeuring
Venue:In Generic Programming, Advanced Lectures, volume 2793 of LNCS
Citations:65 - 23 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
121 Implementing Type Classes – John Peterson, Mark Jones
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
36 Generic haskell, specifically – Dave Clarke, Andres Löh - 2003
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
32 Generic Programs and Proofs – Ralf Hinze - 2000
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
52 A Generic Programming Extension for Clean – Artem Alimarine, Rinus Plasmeijer - 2002
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
13 PolyLib — a polytypic function library – Patrik Jansson, Johan Jeuring - 1998
93 Polytypic programming – Patrik Jansson - 2000
59 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
41 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
50 Generics for the masses – R HINZE