Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy  Home/Search
Context Related
| indiana.edu/pub/pierce/polydyn.ps.gz upenn.edu/~bcpierce/pap...polydyn.ps.gz indiana.edu/ftp/pierce/polydyn.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/pierce/ (more) From: indiana.edu/ftp/pierce/ Homepages: M.Abadi |
Rate this article:      (best)Comment on this article |
Abstract: Types The interaction between the use of Dynamic and abstract data types gives rise to a puzzling design issue: should the type tag of a dynamically typed value containing an element of an abstract type be matched abstractly or concretely? There are good arguments for both choices: ffl Abstract matching protects the identity of "hidden " representation types and prevents accidental matches in cases where several abstract types happen to have the same representation. ffl Transparent matching... (Update)
Cited by: More
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
GEC: a toolkit for Generic Rapid Prototyping of.. - Achten, van.. (Correct)
GEC: A Toolkit for Generic Rapid Prototyping of.. - Achten, van.. (2005) (Correct)
Similar documents (at the sentence level):
28.3%: Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce.. (1994) (Correct)
Active bibliography (related documents): More All
1.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.9: Dynamic Typing in a Statically Typed Language - Abadi, Cardelli, Pierce, Plotkin (1989) (Correct)
0.3: The Modula-3 Type System - Cardelli, Donahue, Jordan, Kalsow.. (1989) (Correct)
Similar documents based on text: More All
0.3: Dynamics in ML - Leroy, Mauny (1993) (Correct)
0.3: Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (Correct)
0.2: Higher-Order Intersection Types and Multiple Inheritance - Compagnoni, Pierce (1995) (Correct)
Related documents from co-citation: More All
36: Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1989
17: PolyP - a polytypic programming language extension - Jansson, Jeuring - 1997
16: A theory of type polymorphism in programming (context) - Milner - 1978
BibTeX entry: (Update)
Abadi, M., Cardelli, L., Pierce, B., and R' emy, D. Dynamic typing in polymorphic languages. In Proc. 1992 Workshop on ML and Its Applications (June 1992). http://citeseer.ist.psu.edu/article/abadi92dynamic.html More
@inproceedings{ abadi92dynamic,
author = "M. Abadi and L. Cardelli and B. Pierce and G. Plotkin and D. R{\`e}my",
title = "Dynamic Typing in Polymorphic Languages",
booktitle = "Proceedings of the {ACM} {SIGPLAN} Workshop on {ML} and its Applications",
month = "June",
address = "San Francisco",
year = "1992",
url = "citeseer.ist.psu.edu/article/abadi92dynamic.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1985
325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
179 Dynamic typing (context) - Henglein - 1992
121 Proving and applying program transformations expressed with .. (context) - Huet, Lang - 1978
79 CLU Reference Manual (context) - Liskov, Atkinson et al. - 1981
44 Proof Theoretic Studies about a Minimal Type System Integrat.. (context) - Ghelli - 1990
44 Structural subtyping and the notion of power type - Cardelli - 1988
40 Interpr'etation fonctionelle et 'elimination des coupures de.. (context) - Girard - 1972
37 Third order matching is decidable - Dowek - 1992
36 Systems Programming in Modula (context) - Nelson - 1991
28 Quasi-static typing (context) - Thatte - 1990
26 Dynamics in ML - Leroy, Mauny - 1991
22 Dynamic typing in a statically-typed language (context) - Abadi, Cardelli et al. - 1991
17 On extending Modula-2 to build large (context) - Rovner - 1986
14 and Andre Scedrov (context) - Cardelli, Martini et al. - 1991
10 Xerox Palo Alto Research Center (context) - Lampson, of et al. - 1983
6 Dynamic types in ML (context) - Mycroft - 1983
5 From Modula to Oberon and the programming language Oberon (context) - Wirth - 1987
5 Bratt Institute Fuer Neues Lerned (context) - Birtwistle, Dahl et al. - 1979
4 Maria-Virginia Aponte (context) - Weis - 1990
3 Adding Eval to ML (context) - Gordon - 1980
1 Commentary of Standard ML (context) - Harper, Milner et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/pierce/): More
A Unifying Type-Theoretic Framework for Objects - Hofmann, Pierce (1993) (Correct)
Higher-Order Subtyping - Steffen, Pierce (1994) (Correct)
Simple Type-Theoretic Foundations for Object-Oriented Programming - Pierce, Turner (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC