Type Checking in Vimval
| dc.contributor.advisor | Dennis, Jack B. | en_US |
| dc.contributor.author | Kuszmaul, Bradley C. | en_US |
| dc.date.accessioned | 2023-03-29T15:10:29Z | |
| dc.date.available | 2023-03-29T15:10:29Z | |
| dc.date.issued | 1984-06 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149594 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-321 | |
| dc.title | Type Checking in Vimval | en_US |
| dc.identifier.oclc | 13209341 |
