Dynamic Typing in Polymorphic Languages (1995)

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

Active Bibliography

156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
Dynamic Typing in a Statically Typed Language – Mart N Abadi Y, Luca Cardelli Y, Benjamin Pierce Z, Gordon Plotkin X
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
23 Dynamic Typing for Distributed Programming in Polymorphic Languages – Dominic Duggan - 1996
19 Type-Safe Linking with Recursive DLLs and Shared Libraries – Dominic Duggan - 2001
25 Bounded Existentials and Minimal Typing – Giorgio Ghelli, Benjamin Pierce - 1996
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
12 Subtyping and Parametricity – Gordon Plotkin, Luca Cardelli - 1993
12 A Recipe for Raw Types – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 2001
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
12 A Type System for Computer Algebra – Philip S. Santas - 1994
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
11 Programming With Types – Stephanie Claudene Weirich - 2002