Operational semantics and polymorphic type inference
By: Mads Tofte.
Series: Thesis. University of Edinburgh. Dept. of Computer Science -- CST-52-88
Publisher: University of Edinburgh, Dept. of Computer Science
Published: 1988
Place of publication: Edinburgh
Language: eng
Number of pages: 204
Subjects: Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. 201-204.