Type classes with functional dependencies (2000)

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

Documents Related by Co-Citation

347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
132 Qualified Types: Theory and Practice – M P Jones - 1992
91 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
758 Eiffel: the language – B Meyer - 1992
1223 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991