Functional logic overloading (2002)

by Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber
Citations:15 - 1 self

Active Bibliography

53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
121 Implementing Type Classes – John Peterson, Mark Jones
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
11 Programming With Types – Stephanie Claudene Weirich - 2002
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
75 Associated Types with Class – Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow - 2005
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
Extracting Programs from . . . – Martin Sulzmann - 2006
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
1 Let should not be generalised – Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers - 2010
2 Let should not be generalized – Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers - 2009
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
19 The Design and Implementation of Mondrian – Erik Meijer, Koen Claessen - 1997
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
Type Inference for Multi-Parameter Type Classes – Martin Sulzmann, Peter J. Stuckey