Subtypes in polymorphic functional languages
Licentiate thesis, 1993
type inference
ML
subtypes
polymorphorism
functional languages
type systems
Author
Thomas Hallgren
Department of Computer Sciences
Subject Categories (SSIF 2011)
Computer Science
ISBN
91-7032-791-2