We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Type Abstraction Rules for References: A Comparison of Four Which have Achieved Notoriety

Thumbnail Image
Download
Name

MIT-LCS-TM-390.pdf

Size

792.71 KB

Format

Adobe PDF

Checksum (MD5)

0989098e44d06b2947c88c98ad8738aa

Author(s)
O'Toole Jr., James William
Date Issued
August 1989
Series/Report no.
MIT-LCS-TM-390
Abstract
I present four type abstraction rules which have been introduced by various authors to permit polymorphic type safety in the presence of mutable data. each of the type abstraction rules is discussed in the context of the language in which is was introduced, and the various abstraction rules are compared.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.