François Pessaux

List of publications from the DBLP Bibliography Server - FAQ

2000

2 EE Xavier Leroy, François Pessaux: Type-based analysis of uncaught exceptions. ACM Trans. Program. Lang. Syst. 22(2): 340-377 (2000)

1999

1 EE François Pessaux, Xavier Leroy: Type-Based Analysis of Uncaught Exceptions. POPL 1999: 276-290

2000
2	EE	Xavier Leroy, François Pessaux: Type-based analysis of uncaught exceptions. ACM Trans. Program. Lang. Syst. 22(2): 340-377 (2000)
1999
1	EE	François Pessaux, Xavier Leroy: Type-Based Analysis of Uncaught Exceptions. POPL 1999: 276-290

Coauthor Index