Accéder directement au contenu

François Pessaux

3
Documents

Présentation

Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>

Publications

xavier-leroy
Image document

Type-based analysis of uncaught exceptions

Xavier Leroy , François Pessaux
ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
Article dans une revue hal-01499948v1
Image document

Type-based analysis of uncaught exceptions

François Pessaux , Xavier Leroy
POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨10.1145/292540.292565⟩
Communication dans un congrès hal-01499959v1