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

Cached

Download Links

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

Documents Related by Co-Citation

214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
96 Type inference with simple subtypes – J C Mitchell - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978
71 Coercion and type inference, in – J C Mitchell - 1984
187 Soft typing with conditional types – Er Aiken - 1994
67 Simplifying Subtyping Constraints – Francois Pottier - 1996
488 A semantics of multiple inheritance – Luca Cardelli - 1988
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
23 Constrained quantification in polymorphic type analysis – Pavel Curtis - 1990
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
88 A Type System Equivalent to Flow Analysis – Jens Palsberg, Patrick O'Keefe - 1995
164 Solving Equations in Abstract Algebras: a Rule-Based Survey of Unification – J-P Jouannaud, C Kirchner - 1991
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
73 Type Inference for Records in a Natural Extension of ML – Didier Rémy - 1994