Publications

Books

[1] G. Cousineau, M. Mauny. Approche fonctionnelle de la programmation. Ediscience International, 1995. ISBN 2-84074-114-8. [BibTeX]

[2] G. Cousineau, M. Mauny. The Functional Approach to Programming. Cambridge University Press, 1998. ISBN 0-521-57183-9 (Paperback: ISBN 0-521-57681-4) – English translation of [1]. [BibTeX]

[3] S. Peyton-Jones. Mise en oeuvre des langages fonctionnels de programmation, Manuels Informatiques. Masson, 1990. French translation by M. Mauny. [BibTeX]

Theses

[4] M. Mauny. Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques – Application au langage ML. PhD Thesis, Université Paris 7, 1985. [BibTeX]

Articles

[5] E. Chailloux, M. Mauny. Encyclopédie des systèmes d'information. Éditions Vuibert, 2006, chapter “Programmation fonctionnelle”. To appear. [BibTeX] [Abstract]

[6] G. Cousineau, P.-L. Curien, M. Mauny. “The Categorical Abstract Machine”. Science of Computer Programming 8 (1987), pp. 173–202. [BibTeX]

[7] X. Leroy, M. Mauny. “Dynamics in ML”. Journal of Functional Programming 3, 4 (October 1993), pp. 431–463. [BibTeX]

Communications

[8] G. Cousineau, P.-L. Curien, M. Mauny, A. Suárez. “Combinateurs Catégoriques et Implémentation des Langages Fonctionnels”. In: Actes de la Treizième Ecole de Printemps du LITP, Lecture Notes in Computer Science, 242, Springer Verlag, pp. 85–103. 1985. [BibTeX]

[9] G. Cousineau, P.-L. Curien, M. Mauny. “The Categorical Abstract Machine”. In: Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science, 201, Springer Verlag, pp. 50–64. 1985. [BibTeX]

[10] D. de Rauglaudre, M. Mauny. “Chamau: an ML Dialect with Quotations, Grammars and Exensible Syntax”. In: Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models. April 1996. [BibTeX] [Abstract]

[11] G. Henry, M. Mauny, E. Chailloux. “Typer la désérialisation sans sérialiser les types”. In: Journées Francophones des Langages Applicatifs. January 2006. [BibTeX] [Abstract]

[12] X. Leroy, M. Mauny. “Dynamics in ML”. In: Functional Programming Languages and Computer Architecture, J. Hughes (ed.), LNCS, 523, Springer-Verlag, pp. 406–426. 1991. See the extended version [7]. [BibTeX]

[13] M. Mauny, D. de Rauglaudre. “Parsers in ML”. In: Proceedings of the ACM International Conference on Lisp and Functional Programming. San Francisco, USA, 1992. [BibTeX]

[14] M. Mauny, D. de Rauglaudre. “Analyseurs lexico-syntaxiques en ML”. In: Jounées Francophones des Langages Applicatifs. Annecy, 1993. [BibTeX]

[15] M. Mauny, D. de Rauglaudre. “A complete and realistic implementation of quotations for ML”. In: Proceedings of the Workshop on ML and its applications. 1994. [BibTeX] [Abstract]

[16] M. Mauny, A. Suárez. “Implémentation des Langages Fonctionnels dans la Machine Abstraite Catégorique”. In: Actes des Journées AFCET, Bulletin Bigre+Globule, 50. 1986. [BibTeX]

[17] M. Mauny, A. Suárez. “Implementing Functional Languages in the Categorical Abstract Machine”. In: Proceedings of the ACM International Conference on Lisp and Functional Programming, pp. 266–278. 1986. [BibTeX]

[18] M. Mauny. “Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages”. In: Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture. 1989. [BibTeX]

[19] M. Mauny. “Integrating Lazy Evaluation in Strict ML”. In: Actes du Premier Colloque Africain sur la Recherche en Informatique. 1992. See [27] for an extended version. [BibTeX]

[20] Émilie Sayag, M. Mauny. “Structural properties of intersection types”. In: Proceedings of the 8th International Conference on Logic and Computer Science – Theoretical Foundations of Computing (LIRA), pp. 167–175. Novi Sad, Yugoslavia, September 1997. [BibTeX]

[21] E. Sayag, M. Mauny. “Characterization of principal types of normal forms in an intersection type system”. In: Proceedings of Foundations of Software Technology and Theoretical Computer Science, S. Verlag (ed.), 1180, pp. 335–346. 1996. [BibTeX] [Abstract]

[22] Y. Xiao, Z. Ariola, M. Mauny. “From Syntactic Theories to Interpreters: A Specification Language and Its Compilation”. In: First International Workshop on Rule-Based Programming (RULE 2000), N. Derschowitz, C. Kirchner (ed.). September 2000. [BibTeX] [Abstract]

Reports

[23] X. Leroy, M. Mauny. “Dynamics in ML”. Report  1491, INRIA, 1991. See the extended version [7]. [BibTeX]

[24] M. Mauny, F. Pottier. “An implementation of Caml Light with existential types”. Report  2183, INRIA, 1993. [BibTeX]

[25] M. Mauny, C. Rinderknecht. “Position paper about the ASN.1 Formal Model”. ISO working document, 1997. [BibTeX]

[26] M. Mauny. “Functional Programming using CAML”. Report  129, INRIA, 1991. [BibTeX]

[27] M. Mauny. “Integrating Lazy Evaluation in Strict ML”. Report  137, INRIA, 1991. [BibTeX]

[28] M. Mauny. Functional programming using Caml Light (version 0.7). INRIA, 1995. [BibTeX]

[29] E. Sayag, M. Mauny. “Caractérisation des types principaux des formes normales dans le système des types avec intersections”. Journées du GDR Programmation, November 1995. [BibTeX]

[30] E. Sayag, M. Mauny. “A presentation of the intersection type discipline through principal typings of normal forms”. Report  RR-2998, INRIA, 1996. [BibTeX] [Abstract]

[31] P. Weis, M.-V. Aponte, A. Laville, M. Mauny, A. Suárez. “The CAML Reference Manual”. Report  121, INRIA, 1990. [BibTeX]

Miscellaneous

[32] M. Mauny. “L'installation de Linux sur un portable Dell Latitude CP”, April 1998. Le micro-bulletin du CNRS, 73. [BibTeX]