Supervision : Thérèse HARDIN

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

Phd defence : 01/29/1998

1997-2009 Publications

• 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”, thesis, phd defence 01/29/1998, supervision Hardin, Thérèse (1998)
  • B. Pagano : “X.R.S : explicit Reduction Systems, a first-order calculus for higher-order calculi”, Conference on Automated Deduction (CADE), vol. 1421, Lecture Notes in Computer Science, Lindau, Germany, pp. 72-87, (Springer) (1998)
  • B. Pagano : “An explicit natural deduction”, Workshop on Explicit substitutions : Theory and Applications to Programs and Proofs, Tsukuba, Japan (1998)
  • Th. Hardin, L. Maranget, B. Pagano : “Functional runtime systems within the lambda-sigma calculus”, Journal of Functional Programming, vol. 8 (2), pp. 131-176, (Cambridge University Press (CUP)) (1998)
• 1997
  • E. Chailloux, P. Manoury, B. Pagano : “Types behind the mirror : a proposal for partial ML type reconstruction at run-time.”, Types in Compilation Workshop, Amsterdam, Netherlands (1997)