Portal de Periódicos da CAPES

Indexed types

1997; Elsevier BV; Volume: 187; Issue: 1-2 Linguagem: Inglês

10.1016/s0304-3975(97)00062-5

1879-2294

Christoph Zenger,

Computability, Logic, AI Algorithms

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.