Type classes with functional dependencies (2000)

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

Documents Related by Co-Citation

132 Qualified types: Theory and practice – M P Jones - 1992
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
187 Constraint Handling Rules – Thom Frühwirth - 1995
31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
234 Principal type schemes for functional programs – R Milner - 1982
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
89 Coherence for Qualified Types – Mark P. Jones - 1993
38 Parametric type classes – Kung Chen, Paul Hudak, Martin Odersky - 1992
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995