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

More information

Created

10/6/2017