Date: 30 May 2005

Polymorphic type schemes and recursive definitions

* Final gross prices may vary according to local VAT.

Get Access

Abstract

An extension to Milner's polymorphic type system is proposed and proved correct. Such an extension appears to be necessary for the class of languages with mutually recursive top-level definitions. We can now ascribe a more general type to such definitions than before.