Caseau, Y. and Laburthe, F. "Introduction to the CLAIRE programming language" Tech. rep., Departement Mathematiques et Informatique, Ecole Normale Superieure, Paris, France.

Languages mentioned

• CLAIRE {1996}