Type Checking in Vimval
Name
MIT-LCS-TR-321.pdf
Size
2.7 MB
Format
Adobe PDF
Checksum (MD5)
d2fa69711b56ef6db6663a862d062fb7
Author(s)
Kuszmaul, Bradley C.
Advisor(s)
Dennis, Jack B.
Date Issued
June 1984
Series/Report no.
MIT-LCS-TR-321
Abstract
A type system is developed for the revised version of the Val programming language (VimVal) which has the following features: (1) Type Inference: allows programs to be written with incomplete type specifications. The type checker infers the types of expressions from their context. (2) Polymorphism: allows modules to be written which operate on more than one type, performing analogous operations on different types of data. (3) higher order functions: are first class data in VIMVAL. (4) Recursive types: a type may to itself.
Persistent DSpace Link
