Dependency-style Generic Haskell (2003)

Cached

Download Links

by Andres Löh , Dave Clarke , Johan Jeuring
Citations:68 - 22 self

Active Bibliography

14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
1 Type inference for generic Haskell – Alexey Rodriguez, Johan Jeuring, Andres Löh - 2005
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
8 The Generic Haskell User's Guide - Version 1.42 - Coral release – Andres Löh, Johan Jeuring, Andres Löh (editor, Johan Jeuring (editor, Dave Clarke, Jan de Wit, Ralf Hinze, Alexey Rodriguez, Skell Team, Andres Löh (editor, Johan Jeuring (editor, Dave Clarke, Ralf Hinze, Alexey Rodriguez - 2005
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
59 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004
The Generic H ASKELL User's Guide – Dave Clarke, Ralf Hinze, Alexey Rodriguez - 2005
5 Type-based termination of generic programs – Andreas Abel - 2007
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
11 Programming With Types – Stephanie Claudene Weirich - 2002
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
121 Implementing Type Classes – John Peterson, Mark Jones
8 Optimizing Generic Functions – Artem Alimarine, Sjaak Smetsers - 2004
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007