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
Computer Science
ISBN
91-7032-791-2