| | |
Summary: January 26, 1994
SRC
Research
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
|
