Type Checking in Vimval

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.