Conference item icon

Conference item

TypeCase: A Design Pattern for Type−Indexed Functions

Abstract:

A type-indexed function is a function that is defined for each member of some family of types. Haskell's type class mechanism provides collections of open type-indexed functions, in which the indexing family can be extended by defining a new type class instance but the collection of functions is fixed. The purpose of this paper is to present TypeCase: a design pattern that allows the definition of closed type-indexed functions, in which the index family is ...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1088348.1088358

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Author
Publication date:
2005-01-01
DOI:
URN:
uuid:40fa7c43-8721-4e93-8519-7d43cbef7833
Local pid:
cs:1665

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP