|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
67
|
Finding the source of type errors
– Mitchell Wand
- 1986
|
|
45
|
Parametric overloading in polymorphic programming languages
– S Kaes
- 1988
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
70
|
Implicit parameters: dynamic scoping with static types
– Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury
- 2000
|
|
63
|
Using Parameterized Signatures to Express Modular Structure
– Mark P. Jones
- 1996
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
38
|
A maximum flow approach to anomaly isolation in unificationbased incremental type inference
– J A Walz, G F Johnson
- 1986
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
46
|
Simplifying and Improving Qualified Types
– Mark P. Jones
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
49
|
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
– Oukseh Lee, Kwangkeun Yi
- 1998
|
|
37
|
Parametric Type Classes
– K Chen, P Hudak, M Odersky
- 1992
|
|
4
|
Traced premonoidal categories (Extended Abstract
– N BENTON, M HYLAND
- 2002
|
