Use this URL to cite or link to this record in EThOS:
Title: Operational semantics and polymorphic type inference
Author: Tofte, Mads
ISNI:       0000 0001 3534 3941
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1988
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Three languages with polymorphic type disciplines are discussed, namely the λ-calculus with Milner's polymorphic type discipline; a language with imperative features (polymorphic references); and a skeletal module language with structures, signatures and functors. In each of the two first cases we show that the type inference system is consistent with an operational dynamic semantics. On the module level, polymorphic types correspond to signatures. There is a notion of principal signature. So-called signature checking is the module level equivalent of type checking. In particular, there exists an algorithm which either fails or produces a principal signature.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: ?-calculus ; skeletal module language ; polymorphic types