Pascal Manoury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1992–2012
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFP | Typing unmarshalling without marshalling types. | Grgoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury |
| 2009 | ICFP | Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colao |
| 1992 | LPAR | ProPre A Programming Language with Proofs. | Pascal Manoury, Michel Parigot, Marianne Simonot |