Th'eorie et pratique de Sqil, un langage interm'ediaire pour la compilation des langages fonctionnels. Th`ese de doctorat d'universit'e, Universit'e Pierre et Marie Curie (Paris 6 (1991)

by N S'eniak