ProPre A Programming Language with Proofs. - Pascal Manoury; Michel Parigot; Marianne Simonot (LPAR, 1992)

A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms. - Pascal Manoury (TYPES, 1994)

Automatizing Termination Proofs of Recursively Defined Functions. - Pascal Manoury; Marianne Simonot (Theor. Comput. Sci., 1994)

Experiment around a training engine. - Anne Brygoo; Titou Durand; Pascal Manoury; Christian Queinnec; Michèle Soria (TelE-Learning, 2002)

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 (ICFP, 2009)

Typing unmarshalling without marshalling types. - Grégoire Henry; Michel Mauny; Emmanuel Chailloux; Pascal Manoury (ICFP, 2012)

Unification des couleurs dans un λ-calcul polychrome. - Bernard P. Serpette; Pascal Manoury; Emmanuel Chailloux (JFLA, 2014)