Publications

Nouveautés / New

[BCDC+19]
Çagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis Gesbert, Grégoire Henry, Fabrice Le Fessant, Michel Mauny, Carine Morel, Loïc Peyrot, and Yann Régis-Gianas. Learn-OCaml: un assistant à l’enseignement d’OCaml. In JFLA - Journées francophones des langages applicatifs, 2019. À paraître. URL: http://michel.mauny.net/data/papers/learn-ocaml-jfla-2019.pdf.

Publications caractéristiques / Representative publications

[MS86a]
Michel Mauny and Ascander Suárez. Implementing Functional Languages in the Categorical Abstract Machine. In Proceedings of the ACM International Conference on Lisp and Functional Programming, pages 266–278, 1986. URL: http://michel.mauny.net/data/papers/mauny-suarez-1986.pdf.
[HMCM12]
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, and Pascal Manoury. Typing Unmarshalling Without Marshalling Types. In Internation Conference on Functional Programming (ICFP), pages 287–298, 2012. URL: http://michel.mauny.net/data/papers/henry-mauny-chailloux-manoury-2012.pdf.
[BM18]
Florent Balestrieri and Michel Mauny. Generic Programming in OCaml. Electronic Proceedings in Theoretical Computer Science, 2018. To appear. URL: http://michel.mauny.net/data/papers/balestrieri-mauny-2018.pdf.

Revues internationales / International journals

[BM18]
Florent Balestrieri and Michel Mauny. Generic Programming in OCaml. Electronic Proceedings in Theoretical Computer Science, 2018. To appear. URL: http://michel.mauny.net/data/papers/balestrieri-mauny-2018.pdf.
[LM93]
Xavier Leroy and Michel Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431–463, October 1993. URL: http://www.mauny.net/data/papers/leroy-mauny-1993.pdf.
[CCM87]
Guy Cousineau, Pierre-Louis Curien, and Michel Mauny. The Categorical Abstract Machine. Science of Computer Programming, 8:173–202, 1987.

Conférence internationales avec comité de lecture / Reviewed international conferences

[VM16]
Benoît Vaugon and Michel Mauny. A Type Inference System Based on Saturation of Subtyping Constraints, 2016. Presented at Trends in Functional Programming 2016, College Park (MD), USA.
[HMCM12]
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, and Pascal Manoury. Typing Unmarshalling Without Marshalling Types. In Internation Conference on Functional Programming (ICFP), pages 287–298, 2012. URL: http://michel.mauny.net/data/papers/henry-mauny-chailloux-manoury-2012.pdf.
[XAM00]
Yong Xiao, Zena Ariola, and Michel Mauny. From Syntactic Theories to Interpreters: A Specification Language and Its Compilation. In Nachum Derschowitz and Claude Kirchner, editors, First International Workshop on Rule-Based Programming (RULE 2000), September 2000. URL: http://xxx.lanl.gov/abs/cs.PL/0009030/.
[SM97]
Emilie Sayag and Michel Mauny. Structural Properties of Intersection Types. In Proceedings of the 8th International Conference on Logic and Computer Science – Theoretical Foundations of Computing (LIRA), pages 167–175, Novi Sad, Yugoslavia, September 1997. URL: http://www.mauny.net/data/papers/sayag-mauny-1997.pdf.
[SM96b]
Emilie Sayag and Michel Mauny. Characterization of Principal Types of Normal Forms in an Intersection Type System. In Springer Verlag, editor, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 1180, pages 335–346, 1996. URL: http://www.mauny.net/data/papers/sayag-mauny-1996a.pdf.
[dRM96]
Daniel de Rauglaudre and Michel 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. URL: http://www.mauny.net/data/papers/mauny-de-rauglaudre-1996.pdf.
[MdR94]
Michel Mauny and Daniel de Rauglaudre. A Complete and Realistic Implementation of Quotations for ML. In Proceedings of the Workshop on ML and its applications, 1994. URL: http://www.mauny.net/data/papers/mauny-de-rauglaudre-1994.pdf.
[MdR92]
Michel Mauny and Daniel de Rauglaudre. Parsers in ML. In Proceedings of the ACM International Conference on Lisp and Functional Programming, San Francisco, USA, 1992. URL: http://www.mauny.net/data/papers/mauny-de-rauglaudre-1992a.pdf.
[Mau92]
Michel Mauny. Integrating Lazy Evaluation in Strict ML. In Actes du Premier Colloque Africain sur la Recherche en Informatique, 1992. Voir [Mau91b] pour une version étendue.
[LM91a]
Xavier Leroy and Michel Mauny. Dynamics in ML. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, number 523 in LNCS, pages 406–426. Springer-Verlag, 1991. Voir la version étendue [LM93].
[Mau89]
Michel 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. URL: http://www.mauny.net/data/papers/mauny-1989.pdf.
[MS86b]
Michel Mauny and Ascander Suárez. Implémentation des langages fonctionnels dans la Machine Abstraite Catégorique. In Actes des Journées AFCET, number 50 in Bulletin Bigre+Globule, 1986.
[CCM85]
Guy Cousineau, Pierre-Louis Curien, and Michel Mauny. The Categorical Abstract Machine. In Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science, pages 50–64. Springer Verlag, 1985.

Livres et chapitres de livre / Books and book chapters

[CDM18]
Emmanuel Chailloux, Romain Demangeon, and Michel Mauny. Typage des langages de programmation, chapter Langages de programmation. Techniques de l’ingénieur, 2018. URL: https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/programmation-42304210/typage-des-langages-de-programmation-h3320/.
[Mau13]
Michel Mauny. Langages de scripts, chapter Langages de programmation. Techniques de l’ingénieur, February 2013. URL: http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/langages-de-programmation-42304210/langages-de-scripts-h3118/.
[CM06]
Emmanuel Chailloux and Michel Mauny. Encyclopédie de l’informatique et des systèmes d’information, chapter Programmation fonctionnelle. Éditions Vuibert, 2006. URL: https://www.vuibert.fr/ouvrage/9782711748464-encyclopedie-de-l-informatique-et-des-systemes-d-information.
[CM98]
Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cambridge University Press, 1998. ISBN 0-521-57183-9 (Paperback: ISBN 0-521-57681-4) – Traduction anglaise de [CM95]. URL: http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521576814.
[CM95]
Guy Cousineau and Michel Mauny. Approche fonctionnelle de la programmation. Ediscience International, 1995. ISBN 2-84074-114-8. URL: http://www.ediscience.net/pages/web/fichelivre.asp?gpe=48068.
[PJ90]
S.L. Peyton-Jones. Mise en oeuvre des langages fonctionnels de programmation. Manuels Informatiques. Masson, 1990. Traduit de l’anglais par Mauny, Michel.

Autres publications internationales (posters, short papers) / Other international publications (posters, short papers)

[MRG18]
Michel Mauny and Yann Régis-Gianas. The OCaml Software Foundation. In OCaml, 2018.
[CMHLF16]
Pierrick Couderc, Michel Mauny, Grégoire Henry, and Fabrice Le Fessant. A Type Checker for Annotated OCaml Abstract Syntax Trees, or An Effective Type System for OCaml. In TFP, 2016. Presented at Trends in Functional Programming 2016, College Park (MD), USA.
[BM16]
Florent Balestrieri and Michel Mauny. Generic Programming in OCaml. In OCaml, 2016.
[BCMLF15]
Thomas Blanc, Pierre Chambart, Michel Mauny, and Fabrice Le Fessant. Global Semantic Analysis on OCaml programs. In OCaml, 2015. Presented at OCaml 2015, Vancouver, Canada.
[MV14]
Michel Mauny and Benoît Vaugon. Nullable Type Inference. In ML Family Workshop, Gothenburg, Sweden, 2014. Presented at OCaml 2014, Gothenburg, Sweden. URL: http://michel.mauny.net/data/papers/mauny-vaugon-nullables-mlw2014.pdf.
[BMLG13]
Çağdaş Bozman, Michel Mauny, Fabrice Le Fessant, and Thomas Gazagnaire. Profiling the Memory Usage of OCaml Applications without Changing their Behavior, September 2013. Presented at OCaml 2013, Boston.
[MV12]
Michel Mauny and Benoît Vaugon. OCamlCC – Raising Low-Level Bytecode to High-Level C, sep 2012. Presented at OUD’2012, Copenhagen. URL: http://michel.mauny.net/data/papers/mauny-vaugon-ocamlcc-oud2012.pdf.
[BGLFM12]
Çağdaş Bozman, Thomas Gazagnaire, Fabrice Le Fessant, and Michel Mauny. Study of OCaml Programs’ Memory Behavior, sep 2012. Presented at OUD’2012, Copenhagen.

Revues nationales / National journals

[HMC07]
Grégoire Henry, Michel Mauny, and Emmanuel Chailloux. Typer la désérialisation sans sérialiser les types. Technique et Science Informatiques, 26-9:1067–1090, 2007. URL: https://tsi.revuesonline.com/article.jsp?articleId=10955.
[MS86a]
Michel Mauny and Ascander Suárez. Implementing Functional Languages in the Categorical Abstract Machine. In Proceedings of the ACM International Conference on Lisp and Functional Programming, pages 266–278, 1986. URL: http://michel.mauny.net/data/papers/mauny-suarez-1986.pdf.

Conférence nationales avec comité de lecture / Reviewed national conferences

[BCDC+19]
Çagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis Gesbert, Grégoire Henry, Fabrice Le Fessant, Michel Mauny, Carine Morel, Loïc Peyrot, and Yann Régis-Gianas. Learn-OCaml: un assistant à l’enseignement d’OCaml. In JFLA - Journées francophones des langages applicatifs, 2019. À paraître. URL: http://michel.mauny.net/data/papers/learn-ocaml-jfla-2019.pdf.
[MV15]
Michel Mauny and Benoît Vaugon. Inférence de types nullables. In JFLA - Journées francophones des langages applicatifs, 2015. À paraître. URL: http://michel.mauny.net/data/papers/mauny-vaugon-nullables-jfla2015.pdf.
[MV13]
Michel Mauny and Benoît Vaugon. OCamlCC - Traduire OCaml en C en passant par le bytecode. In Damien Pous and Christine Tasson, editors, JFLA - Journées francophones des langages applicatifs, Aussois, France, February 2013. Damien Pous and Christine Tasson. URL: http://hal.inria.fr/hal-00779721/PDF/jfla2013-09.pdf.
[HMC06]
Grégoire Henry, Michel Mauny, and Emmanuel Chailloux. Typer la désérialisation sans sérialiser les types. In Journées Francophones des Langages Applicatifs, January 2006. URL: http://www.mauny.net/data/papers/henry-mauny-chailloux-jfla2006.pdf.
[MdR93]
Michel Mauny and Daniel de Rauglaudre. Analyseurs lexico-syntaxiques en ML. In Jounees Francophones des Langages Applicatifs, Annecy, 1993.

Autres publications / Other publications

[Mau98]
Michel Mauny. L’installation de Linux sur un portable Dell Latitude CP, April 1998. Le micro-bulletin du CNRS, nº 73.
[MR97]
Michel Mauny and Christian Rinderknecht. Position paper about the ASN.1 Formal Model, 1997. ISO working document.
[SM96a]
Emilie Sayag and Michel Mauny. A presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996. URL: http://www.mauny.net/data/papers/sayag-mauny-1996b.pdf.
[SM95]
Emilie Sayag and Michel Mauny. Caractérisation des types principaux des formes normales dans le système des types avec intersections, November 1995. Journées du GDR Programmation.
[Mau95]
Michel Mauny. Functional Programming using Caml Light (version 0.7). INRIA, 1995. URL: http://www.mauny.net/data/papers/mauny-1995b.pdf.
[MP93]
Michel Mauny and François Pottier. An implementation of Caml Light with existential types. Technical Report 2183, INRIA, 1993. URL: http://www.mauny.net/data/papers/mauny-pottier-1993.pdf.
[Mau91b]
Michel Mauny. Integrating Lazy Evaluation in Strict ML. Technical Report 137, INRIA, 1991. URL: http://www.mauny.net/data/papers/mauny-1992a.pdf.
[LM91b]
Xavier Leroy and Michel Mauny. Dynamics in ML. Technical Report 1491, INRIA, 1991. Voir la version étendue [LM93].
[Mau91a]
Michel Mauny. Functional Programming using CAML. Technical Report 129, INRIA, 1991.
[WAL+90]
Pierre Weis, Maria-Virginia Aponte, Alain Laville, Michel Mauny, and A. Suárez. The CAML Reference Manual. Technical Report 121, INRIA, 1990.
[CCMS85]
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, and Ascander Suárez. Combinateurs catégoriques et implémentation des langages fonctionnels. In Actes de la Treizième Ecole de Printemps du LITP, number 242 in Lecture Notes in Computer Science, pages 85–103. Springer Verlag, 1985.
[Mau85]
Michel Mauny. Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques – Application au langage ML. PhD thesis, Université Paris 7, 1985.