Functional logic overloading (2002)

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

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
132 Qualified types: Theory and practice – M P Jones - 1992
14 A Functional Notation for Functional Dependencies – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2001
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
93 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
173 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
44 Functional Unparsing – Olivier Danvy, Olivier Danvy - 1998
3 An overview of Edison. Haskell Workshop – Chris Okasaki - 2000
29 der Woude. Relational catamorphisms – R C Backhouse, P de Bruin, G Malcolm, E Voermans, J van - 1991
3 Programming with type classes. Presentation at WG2.1#55 – Roland Backhouse, Jeremy Gibbons - 2001
31 The Generic HASKELL User's Guide – Dave Clarke, Dæv Clarke, Ralf Hinze, Johan Jeuring, Jan de Wit, Andres Löh, What Is Generic H A - 2001
27 der Woude. Polynomial relators – R C Backhouse, P de Bruin, P Hoogendijk, G Malcolm, T S Voermans, J van - 1992
54 Modern C++ Design – A Alexandrescu - 2001
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
25 Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999