Type inference with constrained types (1997)

by Martin Odersky , Martin Sulzmann , Martin Wehr
Venue:Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)
Citations:46 - 5 self

Active Bibliography

30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
16 Hindley/Milner style type systems in constraint form – Martin Sulzmann, Martin Müller, Christoph Zenger - 1999
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
4 Designing Record Systems – Martin Sulzmann - 1997
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
The C++0x “Concepts” Effort – Jeremy G. Siek - 2011
Extracting Programs from . . . – Martin Sulzmann - 2006
10 Practical Soft Typing – Andrew K. Wright - 1994
2 Wand’s Algorithm Extended For the Polymorphic ML-let – Sunil Kothari, James Caldwell - 2007
83 Type Inference for Recursively Constrained Types and its Application to OOP – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
Making the future safe for the past: Adding Genericity to the Java – Programming Language, Gilad Bracha Sun Microsystems, David Stoutamire Sun Microsystems - 1998
Making the future safe for the past: Adding Genericity to the Java – Programming Language Gilad, Gilad Bracha Sun Microsystems, David Stoutamire Sun Microsystems