Type classes with functional dependencies (2000)

by Mark P. Jones
Venue:ESOP/ETA (LNCS)
Citations:153 - 1 self

Active Bibliography

9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
Extracting Programs from . . . – Martin Sulzmann - 2006
A Solution to Haskell’s Multi-Parameter Type Class Dilemma – Carlos Camarão, Rodrigo Ribeiro, Lucília Figueiredo, Cristiano Vasconcellos
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
7 Type classes in Mercury – David Jeffery, Fergus Henderson, Zoltan Somogyi - 1998
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
1 Design, Languages – J. Garrett, Morris Mark, P. Jones
5 Hugs 98: A functional programming system based on Haskell 98 - User Manual – Mark P. Jones, John C. Peterson - 1999
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
55 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
Type Inference for Multi-Parameter Type Classes – Martin Sulzmann, Peter J. Stuckey
13 Object-oriented style overloading for Haskell – Mark Shields, Simon Peyton Jones - 2001