| * | 2009 |
|---|
| 5 | EE | Bruno Pagano,
Olivier Andrieu,
Thomas Moniot,
Benjamin Canou,
Emmanuel Chailloux,
Philippe Wang,
Pascal Manoury,
Jean-Louis Colaço:
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
ICFP 2009: 215-220 |
| 2002 |
|---|
| 4 | | Anne Brygoo,
Titou Durand,
Pascal Manoury,
Christian Queinnec,
Michèle Soria:
Experiment around a training engine.
TelE-Learning 2002: 45-52 |
| 1994 |
|---|
| 3 | | Pascal Manoury:
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms.
TYPES 1994: 83-100 |
| 2 | | Pascal Manoury,
Marianna Simonot:
Automatizing Termination Proofs of Recursively Defined Functions.
Theor. Comput. Sci. 135(2): 319-343 (1994) |
| 1992 |
|---|
| 1 | EE | Pascal Manoury,
Michel Parigot,
Marianna Simonot:
ProPre A Programming Language with Proofs.
LPAR 1992: 484-486 |
