Indexed types

Indexed types

A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is e...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 1997-11, Vol.187 (1-2), p.147-165
1. Verfasser: Zenger, Christoph
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A new extension of the Hindley/Milner type system is proposed. The type system has algebraic types, that have not only type parameters but also value parameters (indices). This allows for example to parameterize matrices and vectors by their size and to check size compatibility statically. This is especially of interest in computer algebra.
ISSN:0304-3975
DOI:10.1016/S0304-3975(97)00062-5