Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
January 26, 1994 Dynamic Typing
 

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

  

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