Journal article icon

Journal article

Type−indexed data types

Abstract:

A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and `=='. More advanced examples are functions for digital searching, pattern matching, unification, rewriting, and structure editing. For each of these problems, we not only have to define polytypic functionality, but also a type-indexed data type: a data type that is co...

Expand abstract

Actions


Access Document


Publisher copy:
10.1016/j.scico.2003.07.001
Journal:
Science of Computer Programming More from this journal
Volume:
51
Issue:
1−2
Pages:
117-151
Publication date:
2004-05-01
DOI:
UUID:
uuid:ac5e412b-ec56-4c06-be44-3bd64cddda63
Local pid:
cs:1178
Deposit date:
2015-03-31

Terms of use


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