Pascal Manoury

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Equational Theories

Top Venues

Publications

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
Unification des couleurs dans un λ-calcul polychrome. JFLA (2014)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury
Typing unmarshalling without marshalling types. ICFP (2012)
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)
Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria
Experiment around a training engine. TelE-Learning (2002)
Pascal Manoury
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms. TYPES (1994)
Pascal Manoury, Marianne Simonot
Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135 (2) (1994)
Pascal Manoury, Michel Parigot, Marianne Simonot
ProPre A Programming Language with Proofs. LPAR (1992)