Michel Mauny

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Generic Programming in OCaml.
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

A Type Inference System Based on Saturation of Subtyping Constraints.
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

2012
Typing unmarshalling without marshalling types.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2007
Typer la désérialisation sans sérialiser les types.
Tech. Sci. Informatiques, 2007

Typer la dé-sérialisation sans sérialiser les types
CoRR, 2007

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

1998
The functional approach to programming.
Cambridge University Press, ISBN: 978-0-521-57183-8, 1998

1996
Characterization of the Principal Type of Normal Forms in an Intersection Type System.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1993
Dynamics in ML.
J. Funct. Program., 1993

1992
Parsers in ML.
Proceedings of the Conference on Lisp and Functional Programming, 1992

1989
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages.
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1987
The Categorical Abstract Machine.
Sci. Comput. Program., 1987

1986
Implementing Functional Languages in the Categorical Abstract Machine.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.
Proceedings of the Combinators and Functional Programming Languages, 1985


  Loading...