Type Inference for Recursively Constrained Types and its Application to OOP (1995)

Cached

Download Links

by Jonathan Eifrig , Scott Smith , Valery Trifonov
Citations:83 - 15 self

Active Bibliography

107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
19 An Interpretation of Typed OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, A. Mason, Martin Odersky - 1995
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
13 Application of OOP Type Theory: State, Decidability, Integration – Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico - 1994
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
1 Rationalising Eiffel's Type System – A J H Simons - 1995
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
45 On subtyping and matching – Luca Cardelli - 1995
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
187 Soft typing with conditional types – Er Aiken - 1994
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
3 A Complete Type Inference System for Subtyped Recursive Types – Tatsurou Sekiguchi, Akinori Yonezawa - 1994