Polymorphic Typing of Variables and References
MetadataShow full item record
In this article we consider the polymorphic type checking of an imperative language. Our lan- guage 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 Tofte’s type system for Standard ML, but such weak types arise far less frequently with variables than with references.
The article of record as published may be found at http://dx.doi.org/
Showing items related by title, author, creator and subject.
Smith, Geoffrey; Volpano, Dennis (1996);Advanced polymorphic type systems have come to play an important role in the world of functional programming. But, so far, these type systems have has little impact upon widely used imperative programming languages like ...
Bonem, Peter Bryant (Monterey, California. Naval Postgraduate School, 1995-09);Functional programming languages incorporate a number of powerful features, including advanced polymorphic type systems and first-class, higher- order functions. However, these important features have had little effect ...
The Roles of COMT val158met Status and Aviation Expertise in Flight Simulator Performance and Cognitive Ability Kennedy, Q.; Taylor, J.L.; Noda, A.; Adamson, M.; Murphy, G.M., Jr.; Zeitzer, J.M.; Yesavage, J.A. (2011-09);The polymorphic variation in the val158met position of the catechol-O-methyltransferase (COMT) gene is associated with differences in executive performance, processing speed, and attention. The purpose of this study is: ...