- UHRA Home
- Browsing by Author
Browsing by Author "Buchanan, K.M."
Now showing items 1-1 of 1
-
An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell
Buchanan, K.M.; Dickerson, R. (University of Hertfordshire, 1992)The treatment of types in programming and in type checking is considered briefly and types are distinguished from classes. The subtyping relation is discussed with particular emphasis on the consequences of combining the ...