|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
81
|
Type inference with constrained types. Theory and Practice of Object Systems
– M Odersky, M Sulzmann, M Wehr
- 1999
|
|
40
|
A Second Look at Overloading
– Martin Odersky, Philip Wadler, Martin Wehr
- 1995
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
70
|
Implicit parameters: dynamic scoping with static types
– Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury
- 2000
|
|
86
|
Operational Semantics and Confluence of Constraint Propagation Rules
– Slim Abdennadher
- 1997
|
|
46
|
Simplifying and Improving Qualified Types
– Mark P. Jones
- 1995
|
|
29
|
A General Framework for Hindley/Milner Type Systems with Constraints
– Martin Sulzmann
- 2000
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
49
|
Typing Haskell in Haskell
– Mark P. Jones
- 1999
|
|
359
|
Theory and Practice of Constraint Handling Rules
– Thom Frühwirth
- 1998
|
|
30
|
Sound and Decidable Type Inference for Functional Dependencies
– Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann
- 2004
|
|
13
|
Object-oriented style overloading for Haskell
– Mark Shields, Simon Peyton Jones
- 2001
|
|
67
|
Finding the source of type errors
– Mitchell Wand
- 1986
|
|
37
|
Type Error Slicing in Implicitly Typed Higher-Order Languages
– Christian Haack, J. B. Wells
- 2004
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
20
|
Lightweight Extensible Records for Haskell
– Mark P. Jones, Simon Peyton Jones
- 1999
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
