Dynamic Typing in a Statically Typed Language (1989)

by Martín Abadi , Luca Cardelli , Benjamin Pierce , Gordon Plotkin
Citations:155 - 4 self

Documents Related by Co-Citation

52 Quasi-static typing – S Thatte - 1990
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
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
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
48 Dynamic typing: Syntax and proof theory – F Henglein - 1994
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
702 Types and programming languages – Benjamin C Pierce - 2002
9 A Practical Approach to Type Inference for EuLisp – Andreas Kind, Horst Friedrich - 1993