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.

ML with Extended Pattern Matching and Subtypes

Thumbnail Image
Download
Name

MIT-LCS-TR-468.pdf

Size

3.04 MB

Format

Adobe PDF

Checksum (MD5)

bd277e01db051e2e106a0becb7583f71

Author(s)
Jategaonkar, Lalita A.
Advisor(s)
Meyer, Albert R.
MacQueen, David B.
Date Issued
August 1989
Series/Report no.
MIT-LCS-TR-468
Abstract
We extend a fragment of the programming language ML by incorporating a more general form of record pattern matching and providing for user-declared subtypes. Together, these two enhancements may be used to support a restricted object-oriented program
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.