Dynamic Typing in Polymorphic Languages (1995)

by Martín Abadi , Luca Cardelli , Benjamin Pierce , Didier Rémy
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:98 - 2 self

Documents Related by Co-Citation

156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
82 Dynamic typing in a statically-typed language – Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin - 1991
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
38 Type Dispatch for Named Hierarchical Types – Neal Glew - 1999
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
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
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
326 Theorems for free! – Philip Wadler - 1989