Dynamic Typing in a Statically Typed Language (1989)

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

Active Bibliography

Dynamic Typing in a Statically Typed Language – Mart N Abadi Y, Luca Cardelli Y, Benjamin Pierce Z, Gordon Plotkin X
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
Abstraction-Based Genetic Programming By – Franck J. L. Binard
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
18 Delivering the Benefits of Persistence to System Construction and Execution – Quintin I. Cutts - 1992