According to our database1, Michel Mauny authored at least 14 papers between 1985 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
The functional approach to programming.
Cambridge University Press, ISBN: 978-0-521-57183-8, 1998
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
Proceedings of the Conference on Lisp and Functional Programming, 1992
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
Implementing Functional Languages in the Categorical Abstract Machine.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
Proceedings of the Combinators and Functional Programming Languages, 1985