Michel Mauny

16 papers A 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2016 — conf
A Type Inference System Based on Saturation of Subtyping Constraints.
TFP
Benoît Vaugon, Michel Mauny
2016 — conf
Generic Programming in OCaml.
ML/OCAML
Florent Balestrieri, Michel Mauny
2012 A conf
Typing unmarshalling without marshalling types.
ICFP
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury
2007 J jnl
Typer la dé-sérialisation sans sérialiser les types
CoRR
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
2007 J jnl
Typer la désérialisation sans sérialiser les types.
Tech. Sci. Informatiques
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
2000 J jnl
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
CoRR
Yong Xiao, Zena M. Ariola, Michel Mauny
1998 — book
The functional approach to programming.
Guy Cousineau, Michel Mauny
1996 — conf
Characterization of the Principal Type of Normal Forms in an Intersection Type System.
FSTTCS
Emilie Sayag, Michel Mauny
1993 J jnl
Dynamics in ML.
J. Funct. Program.
Xavier Leroy, Michel Mauny
1992 — conf
Parsers in ML.
LISP and Functional Programming
Daniel de Rauglaudre, Michel Mauny
1991 — conf
Dynamics in ML.
FPCA
Xavier Leroy, Michel Mauny
1989 — conf
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages.
FPCA
Michel Mauny
1987 J jnl
The Categorical Abstract Machine.
Sci. Comput. Program.
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
1986 — conf
Implementing Functional Languages in the Categorical Abstract Machine.
LISP and Functional Programming
Michel Mauny, Ascánder Suárez
1985 — conf
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
1985 — conf
The Categorical Abstract Machine.
FPCA
Guy Cousineau, Pierre-Louis Curien, Michel Mauny