We are experiencing minor difficulties with some of our submission forms, which we are working to resolve. You should still be able to submit items, but if you have any issues while submitting, please contact us at dspace-lib@mit.edu.

Principal typings and type inference

Thumbnail Image
Download
Name

34879960-MIT.pdf

Description
Full printable version
Size

5.99 MB

Format

Adobe PDF

Checksum (MD5)

dcc0b3cbbce7acd70d4b553d9266ca0c

Author(s)
Jim, Trevor
Advisor(s)
Albert R. Meyer.
Date Issued
1996
Publisher
Massachusetts Institute of Technology
Description
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
Includes bibliographical references (p. 115-120) and index.
Subjects
Electrical Engineering and Computer Science
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.