Accession Number:

ADA495097

Title:

Polymorphic Typing of Variables and References

Descriptive Note:

Corporate Author:

FLORIDA INTERNATIONAL UNIV MIAMI

Personal Author(s):

Report Date:

1996-05-01

Pagination or Media Count:

15.0

Abstract:

In this article we consider the polymorphic type checking of an imperative language. Our language contains variables, first-class references pointers, and first-class functions. Variables, as in traditional imperative languages, are implicitly dereferenced, and their addresses L-values are not first-class values. Variables are easier to type check than references and, in many cases, lead to more general polymorphic types. We present a polymorphic type system for our language and prove that it is sound. Programs that use variables sometimes require weak types, as in Toftes type system for Standard ML, but such weak types arise far less frequently with variables than with references.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE