Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Dynamic Typing and Subtype Inference Alexander Aiken Manuel Fahndrich

Summary: Dynamic Typing and Subtype Inference
Alexander Aiken Manuel F¨ahndrich
Computer Science Division
University of California, Berkeley
Berkeley, CA 94720­1776
Dynamic typing is a program analysis targeted at removing
runtime tagging and untagging operations in dynamically
typed languages. This paper shows that dynamic typing
at least as powerful as Henglein's system [Hen92b] can be
expressed using set constraints.
1 Introduction
This paper presents a study of Henglein's dynamic typing
discipline [Hen92a, Hen92b]. Dynamic typing extends con­
ventional static types with a single new type Dynamic. Spe­
cial functions called coercions inject values into and project
values from type Dynamic. Currently, the main application
of dynamic typing is the optimization of programs written
in dynamically typed languages (such as Lisp and Scheme)


Source: Aiken, Alex - Department of Computer Science, Stanford University


Collections: Computer Technologies and Information Sciences