Documents Related by Co-Citation

99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
82 Dynamic typing in a statically-typed language – Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin - 1991
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
94 Type assignment in programming languages – L Damas - 1985
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995