PAGANO Bruno
Supervision : Thérèse HARDIN
Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels
Defence : 01/29/1998
Departure date : 09/01/1999