Michel Mauny

According to our database, Michel Mauny authored at least 14 papers between 1985 and 2016.

Collaborative distances:

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

2016

Generic Programming in OCaml.

Florent Balestrieri, Michel Mauny

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

A Type Inference System Based on Saturation of Subtyping Constraints.

Benoît Vaugon, Michel Mauny

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

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

2007

Typer la désérialisation sans sérialiser les types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

Tech. Sci. Informatiques, 2007

Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

CoRR, 2007

2000

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Yong Xiao, Zena M. Ariola, Michel Mauny

CoRR, 2000

1998

The functional approach to programming.

Guy Cousineau, Michel Mauny

Cambridge University Press, ISBN: 978-0-521-57183-8, 1998

1996

Characterization of the Principal Type of Normal Forms in an Intersection Type System.

Emilie Sayag, Michel Mauny

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1993

Dynamics in ML.

Xavier Leroy, Michel Mauny

J. Funct. Program., 1993

1992

Parsers in ML.

Daniel de Rauglaudre, Michel Mauny

Proceedings of the Conference on Lisp and Functional Programming, 1992

1989

Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages.

Michel Mauny

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1987

The Categorical Abstract Machine.

Guy Cousineau, Pierre-Louis Curien, Michel Mauny

Sci. Comput. Program., 1987

1986

Implementing Functional Languages in the Categorical Abstract Machine.

Michel Mauny, Ascánder Suárez

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.

Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez

Proceedings of the Combinators and Functional Programming Languages, 1985