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

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!