International Symposium on Programming

Volume 167 of the series Lecture Notes in Computer Science pp 217-228


Polymorphic type schemes and recursive definitions

  • Alan MycroftAffiliated withProgramming Methodology Group, Institutionen för Informationsbehandling Chalmers Tekniska Högskola

* Final gross prices may vary according to local VAT.

Get Access


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.