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

Documents Related by Co-Citation

216 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
305 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
104 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
96 Type inference with simple subtypes – J C Mitchell - 1991
936 A theory of type polymorphism in programming – Robin Milner - 1978
71 Coercion and type inference – J C Mitchell - 1984
187 Soft typing with conditional types – Er Aiken - 1994
68 Simplifying Subtyping Constraints – Francois Pottier - 1996
486 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
59 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
891 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
539 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
87 A Type System Equivalent to Flow Analysis – Jens Palsberg, Patrick O'Keefe - 1995
161 Solving equations in abstract algebras: A rulebased survey of unification – Jean-Pierre Jouannaud, Claude Kirchner - 1991
76 P.: Type inference with subtypes – Y C Fuh, Mishra
73 Type Inference for Records in a Natural Extension of ML – Didier Rémy - 1994