Active Bibliography

107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
Programming Systems – Andreas Rossberg, Martin Sulzmann
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
1 Type inference for generic Haskell – Alexey Rodriguez, Johan Jeuring, Andres Löh - 2005
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
27 Faking It: Simulating Dependent Types in Haskell – Connor McBride - 2001
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008