|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
22
|
compiler home
– Glasgow haskell
|
|
171
|
Constraint Handling Rules
– Thom Frühwirth
- 1995
|
|
211
|
Unification revisited
– Jean-Louis Lassez, Michael J Maher, Kim G Marriot
- 1988
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
91
|
Putting Type Annotations to Work
– Martin Odersky, Konstantin Läufer
- 1996
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
267
|
G.D.: Abstract types have existential types
– J C Mitchell, Plotkin
- 1988
|
|
58
|
Polymorphic Type Inference and Abstract Data Types
– Konstantin Läufer, Martin Odersky
- 1994
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
26
|
The Yampa arcade
– Antony Courtney, Henrik Nilsson, John Peterson
- 2001
|
|
18
|
Lightweight GUIs for Functional Programming
– Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte
- 1995
|
|
109
|
Unification under a mixed prefix
– Dale Miller
- 1992
|
|
82
|
Coherence for Qualified Types
– Mark P. Jones
- 1993
|
|
323
|
Principal type-schemes for functional programs
– Luis Damas, Robin Milner
- 1982
|
