Michel Mauny

Publication Activity (10 Years)

Years Active: 1985-2016
Publications (10 Years): 2

Top Topics

Programming Environments

Linear Constraints

Color Image Enhancement

Top Venues

Publications

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