Type Checking in Vimval
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149594 |
| _version_ | 1826196538704003072 |
|---|---|
| author | Kuszmaul, Bradley C. |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Kuszmaul, Bradley C. |
| author_sort | Kuszmaul, Bradley C. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T10:28:36Z |
| id | mit-1721.1/149594 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:28:36Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495942023-03-30T04:01:33Z Type Checking in Vimval Kuszmaul, Bradley C. Dennis, Jack B. 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. 2023-03-29T15:10:29Z 2023-03-29T15:10:29Z 1984-06 https://hdl.handle.net/1721.1/149594 13209341 MIT-LCS-TR-321 application/pdf |
| spellingShingle | Kuszmaul, Bradley C. Type Checking in Vimval |
| title | Type Checking in Vimval |
| title_full | Type Checking in Vimval |
| title_fullStr | Type Checking in Vimval |
| title_full_unstemmed | Type Checking in Vimval |
| title_short | Type Checking in Vimval |
| title_sort | type checking in vimval |
| url | https://hdl.handle.net/1721.1/149594 |
| work_keys_str_mv | AT kuszmaulbradleyc typecheckinginvimval |