Relatore : Thérèse HARDIN

Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels

Pubblicazioni 1997-2009

• 2009
  • B. Pagano, O. Andrieu, Th. Moniot, B. Canou, E. Chailloux, Ph. Wang, P. Manoury, J.‑L. Colaço : “Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework”, The 14^th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, United Kingdom, pp. 215-220, (ACM) (2009)
• 2007
  • B. Pagano, B. Canou, E. Chailloux, J.‑L. Colaço, Ph. Wang : “Couverture de code Caml pour la réalisation d’outils de développement certifiés”, Journées Francophones des Langages Applicatifs (JFLA 2007), Aix-les-Bains, France, pp. 71-86 (2007)
• 1998
  • B. Pagano : “Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels”,