|
24
|
Type Reconstruction for Type Classes
– Tobias Nipkow, Christian Prehofer
- 1995
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
10
|
ML typing, explicit polymorphism and qualified types
– Mark P. Jones
- 1994
|
|
|
A Second Look at Overloading
– Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr
- 1995
|
|
2
|
Haskell-style Overloading is NP-hard
– Dennis M. Volpano
- 1994
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
9
|
Type Inference Verified: Algorithm W in Isabelle/HOL
– Wolfgang Naraschewski, Tobias Nipkow
- 1997
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
|
27
|
Type Classes with Existential Types
– Konstantin Läufer
- 1995
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
|
|
Class Types
– Carlos Camarao, Lucília Figueiredo
- 1997
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
58
|
Polymorphic Type Inference and Abstract Data Types
– Konstantin Läufer, Martin Odersky
- 1994
|
|
18
|
Compiler-directed Type Reconstruction for Polymorphic Languages
– Shail Aditya
- 1993
|
|
54
|
The implementation of the Gofer functional programming system
– Mark P. Jones
- 1994
|
|
8
|
Combining Type Classes And Existential Types
– Konstantin Läufer
- 1994
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
|
Abstract Coherence
– Mark P. Jones
|
