Étude du typage dans le système de calcul scientifique Aldor

Touratier, E.

Diagrammes, Volume 42 (1999) p. 3-113