Journal article icon

Journal article

Polytypic values possess polykinded types

Abstract:

A polytypic value is one that is defined by induction on the structure of types. In Haskell types are assigned so-called kinds that distinguish between manifest types like the type of integers and functions on types like the list type constructor. Previous approaches to polytypic programming were restricted in that they only allowed to parameterize values by types of one fixed kind. In this paper we show how to define values that are indexed by types of arbitrary kinds. It turns out that thes...

Expand abstract

Actions


Access Document


Authors


Ralf Hinze More by this author
Journal:
Science of Computer Programming
Volume:
43
Issue:
2−3
Pages:
129-159
DOI:
URN:
uuid:79eb5ee7-bc26-4bc2-a50b-d6d2b0539142
Local pid:
cs:1143

Metrics



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

TO TOP