Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

January 26, 1994 Dynamic Typing

Summary: January 26, 1994
Report 120
Dynamic Typing
in Polymorphic Languages
Mart'in Abadi, Luca Cardelli,
Benjamin Pierce, and Didier R'emy
d i g i t a l

Systems Research Center
The charter of SRC is to advance both the state of knowledge and the state of the
art in computer systems. From our establishment in 1984, we have performed
basic and applied research to support Digital's business objectives. Our current
work includes exploring distributed personal computing on multiple platforms,
networking, programming technology, system modelling and management tech­
niques, and selected applications.
Our strategy is to test the technical and practical value of our ideas by building
hardware and software prototypes and using them as daily tools. Interesting
systems are too complex to be evaluated solely in the abstract; extended use


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz
Rémy, Didier - INRIA Paris-Rocquencourt


Collections: Computer Technologies and Information Sciences