|
49
|
Type Checking Higher-Order Polymorphic Multi-Methods
– Francois Bourdoncle , Stephan Merz
- 1997
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
16
|
Satisfiability of Inequalities in a Poset
– Vaughan Pratt, Jerzy Tiuryn
|
|
28
|
The Complexity of Subtype Entailment for Simple Types
– Fritz Henglein, Jakob Rehof
- 1997
|
|
15
|
Minimal Typings in Atomic Subtyping
– Jakob Rehof
- 1996
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
19
|
Polymorphic Type Inference for Languages with Overloading and Subtyping
– Seward Smith, Geoffrey Seward Smith, Ph. D
- 1991
|
|
8
|
On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods
– Francois Bourdoncle, Stephan Merz
- 1996
|
|
2
|
Haskell-style Overloading is NP-hard
– Dennis M. Volpano
- 1994
|
|
14
|
The Complexity of Simple Subtyping Systems
– Jakob Rehof
- 1998
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
10
|
ML typing, explicit polymorphism and qualified types
– Mark P. Jones
- 1994
|
|
99
|
Sound Polymorphic Type Inference for Objects
– Jonathan Eifrig, Scott Smith, Valery Trifonov
- 1995
|
|
30
|
Type Checking Type Classes
– Tobias Nipkow, Christian Prehofer
- 1993
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
|
203
|
Type Inclusion Constraints and Type Inference
– Alexander Aiken, Edward L. Wimmers
- 1993
|
|
42
|
Type inference with constrained types
– Martin Odersky, Martin Sulzmann, Martin Wehr
- 1997
|
|
3
|
Type Inference and Reconstruction for First Order Dependent Types
– Neal Nelson, To Mary Alice, To Sherri
- 1995
|
