Principal Type Schemes for Functional Programs with Overloading and Subtyping (1994)

by Geoffrey S. Smith
Venue:Science of Computer Programming
Citations:44 - 1 self

Active Bibliography

51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
17 Satisfiability of Inequalities in a Poset – Vaughan Pratt, Jerzy Tiuryn
29 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
20 Polymorphic Type Inference for Languages with Overloading and Subtyping – Seward Smith, Geoffrey Seward Smith, Ph. D - 1991
9 On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods – Francois Bourdoncle, Stephan Merz - 1996
3 Haskell-style Overloading is NP-hard – Dennis M. Volpano - 1994
15 The Complexity of Simple Subtyping Systems – Jakob Rehof - 1998
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
121 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
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007