Colored Local Type Inference (2001)

Cached

Download Links

by Martin Odersky , Matthias Zenger , Matthias Zenger
Citations:56 - 9 self

Documents Related by Co-Citation

166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
95 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
936 A theory of type polymorphism in programming – Robin Milner - 1978
96 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
44 Adding wildcards to the Java programming language – Mads Torgersen, Christian Plesner Hansen, Erik Ernst - 2004
78 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
81 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1985
358 Principal type-schemes for functional programs – L Damas, R Milner - 1982
30 Type-safe prototype-based component evolution – Matthias Zenger - 2002
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
63 Scalable extensibility via nested inheritance – Nathaniel Nystrom, Stephen Chong, Andrew C. Myers - 2004
66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
105 Family polymorphism – E Ernst - 2001
105 Virtual Classes: A Powerful Mechanism in ObjectOriented Programming – Ole Lehrmann Madsen, Birger Mgller-pedersen - 1989