Pascal Manoury

According to our database, Pascal Manoury authored at least 7 papers between 1992 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Unification des couleurs dans un λ-calcul polychrome.

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2012

Typing unmarshalling without marshalling types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2009

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 Colaço

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2002

Experiment around a training engine.

Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria

Proceedings of the TelE-Learning: the Challenge for the Third Millennium, IFIP 17^th World Computer Congress, 2002

1994

Automatizing Termination Proofs of Recursively Defined Functions.

Pascal Manoury, Marianne Simonot

Theor. Comput. Sci., 1994

A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms.

Pascal Manoury

Proceedings of the Types for Proofs and Programs, 1994

1992

ProPre A Programming Language with Proofs.

Pascal Manoury, Michel Parigot, Marianne Simonot

Proceedings of the Logic Programming and Automated Reasoning, 1992