You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Towards a Categorical Semantics of Type Classes

Article type: Research Article

Authors: Hilken, Barney P. | Rydeheard, David E.

Affiliations: [a] Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, U.K.

Abstract: This is an exercise in the description of programming languages as indexed categories. Type classes have been introduced into functional programming languages to provide a uniform framework for ‘overloading’. We establish a correspondence between type classes and comprehension schemata in categories. A coherence result allows us to describe subclasses and implicit conversions between types.

DOI: 10.3233/FI-1992-16204

Journal: Fundamenta Informaticae, vol. 16, no. 2, pp. 127-147, 1992

Published: 1 March 1992
Price: EUR 27.50
Show more