PAGANO Bruno
责任导师 : Thérèse HARDIN
Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels
答辩 : 1998-1-29
离开日期 : 1999-9-11997-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 14th 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”, 博士论文, 答辩 1998-1-29, 责任导师 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)