Active Bibliography

3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
11 Programming With Types – Stephanie Claudene Weirich - 2002
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
18 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
Unifying Nominal and Structural Ad-hoc Polymorphism – Geoffrey Washburn, Stephanie Weirich - 2004
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
6 A Design for Type-Directed Programming in Java – Stephanie Weirich, Liang Huang - 2004
1 Intensional analysis of quantified types – Bratin Saha, Valery Trifonov, Zhong Shao - 2000
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
25 TypeCase: A Design Pattern for Type-Indexed Functions – Bruno C. d. S. Oliveira , Jeremy Gibbons - 2005
5 Type-based termination of generic programs – Andreas Abel - 2007