Publications

Livres

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

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

[3S. Peyton-Jones. Mise en oeuvre des langages fonctionnels de programmation, Manuels Informatiques. Masson, 1990. Traduit de l'anglais par M. Mauny. [BibTeX]

Thèses

[4M. Mauny. Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques – Application au langage ML. Thèse de doctorat, Université Paris 7, 1985. [BibTeX]

Articles

[5E. Chailloux, M. Mauny. Encyclopédie des systèmes d'information. Éditions Vuibert, 2006, chapitre «Programmation fonctionnelle». À paraître. [BibTeX] [Résumé]

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

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

Communications

[8G. 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]

[9G. 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]

[10D. 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. avril 1996. [BibTeX] [Résumé]

[11G. Henry, M. Mauny, E. Chailloux. «Typer la désérialisation sans sérialiser les types». In: Journées Francophones des Langages Applicatifs. janvier 2006. [BibTeX] [Résumé]

[12X. Leroy, M. Mauny. «Dynamics in ML». In: Functional Programming Languages and Computer Architecture, J. Hughes (réd.), LNCS, 523, Springer-Verlag, pp. 406–426. 1991. Voir la version étendue [7]. [BibTeX]

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

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

[15M. 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] [Résumé]

[16M. 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]

[17M. 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]

[18M. 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]

[19M. Mauny. «Integrating Lazy Evaluation in Strict ML». In: Actes du Premier Colloque Africain sur la Recherche en Informatique. 1992. Voir [27] pour une version étendue. [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, septembre 1997. [BibTeX]

[21E. 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 (réd.), 1180, pp. 335–346. 1996. [BibTeX] [Résumé]

[22Y. 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 (réd.). septembre 2000. [BibTeX] [Résumé]

Rapports

[23X. Leroy, M. Mauny. «Dynamics in ML». Rapport nº 1491, INRIA, 1991. Voir la version étendue [7]. [BibTeX]

[24M. Mauny, F. Pottier. «An implementation of Caml Light with existential types». Rapport nº 2183, INRIA, 1993. [BibTeX]

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

[26M. Mauny. «Functional Programming using CAML». Rapport nº 129, INRIA, 1991. [BibTeX]

[27M. Mauny. «Integrating Lazy Evaluation in Strict ML». Rapport nº 137, INRIA, 1991. [BibTeX]

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

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

[30E. Sayag, M. Mauny. «A presentation of the intersection type discipline through principal typings of normal forms». Rapport nº RR-2998, INRIA, 1996. [BibTeX] [Résumé]

[31P. Weis, M.-V. Aponte, A. Laville, M. Mauny, A. Suárez. «The CAML Reference Manual». Rapport nº 121, INRIA, 1990. [BibTeX]

Divers

[32M. Mauny. «L'installation de Linux sur un portable Dell Latitude CP», avril 1998. Le micro-bulletin du CNRS, nº 73. [BibTeX]