How to make ad-hoc polymorphism less ad hoc

P. Wadler, S. Blott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the "eqtype variables" of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules.
Original languageEnglish
Title of host publicationPOPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Place of PublicationNew York, NY, USA
Number of pages17
ISBN (Print)0-89791-294-2
Publication statusPublished - 1989


Dive into the research topics of 'How to make ad-hoc polymorphism less ad hoc'. Together they form a unique fingerprint.

Cite this