Introduction to the CLAIRE programming language (1996)

by Y Caseau, F Laburthe
Venue:Departement Mathmatiques et Informatique, Ecole Normale Suprieure