Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. - Guy Cousineau; Pierre-Louis Curien; Michel Mauny; Ascánder Suárez (Combinators and Functional Programming Languages, 1985)

Implementing Functional Languages in the Categorical Abstract Machine. - Michel Mauny; Ascánder Suárez (LISP and Functional Programming, 1986)

The Categorical Abstract Machine. - Guy Cousineau; Pierre-Louis Curien; Michel Mauny (Sci. Comput. Program., 1987)

Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. - Michel Mauny (FPCA, 1989)

Parsers in ML. - Daniel de Rauglaudre; Michel Mauny (LISP and Functional Programming, 1992)

Dynamics in ML. - Xavier Leroy; Michel Mauny (J. Funct. Program., 1993)

Characterization of the Principal Type of Normal Forms in an Intersection Type System. - Emilie Sayag; Michel Mauny (FSTTCS, 1996)

The functional approach to programming. - Guy Cousineau; Michel Mauny (Cambridge University Press, 1998)

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation - Yong Xiao; Zena M. Ariola; Michel Mauny (CoRR, 2000)

Typer la dé-sérialisation sans sérialiser les types - Grégoire Henry; Michel Mauny; Emmanuel Chailloux (CoRR, 2007)

Typer la désérialisation sans sérialiser les types. - Grégoire Henry; Michel Mauny; Emmanuel Chailloux (Tech. Sci. Informatiques, 2007)

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

A Type Inference System Based on Saturation of Subtyping Constraints. - Benoît Vaugon; Michel Mauny (TFP, 2016)

Generic Programming in OCaml. - Florent Balestrieri; Michel Mauny (ML/OCAML, 2016)