Publications

[1]
Benoît Montagu, Benjamin C. Pierce, Randy Pollack, and Adrien Surée. A Theory of Information-Flow Labels. Submitted, July 2012. [ PDF ]
[2]
André DeHon, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, and Gregory Sullivan. Preliminary Design of the SAFE Platform. In Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS, October 2011. [ Abstract | PDF ]
[3]
Benoît Montagu. Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts. Thèse de doctorat, École Polytechnique, Palaiseau, France, December 2010. English title: "Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types". Also available from http://tel.archives-ouvertes.fr/tel-00550331/fr/. [ PDF ]
[4]
Benoît Montagu. Experience report: Mechanizing Core F-zip using the locally nameless approach. Presented at the 5th ACM SIGPLAN Workshop on Mechanizing Metatheory, Baltimore, September 2010. [ Abstract | PDF | DjVu ]
[5]
Benoît Montagu and Didier Rémy. Modeling Abstract Types in Modules with Open Existential Types. In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages. ACM Press, January 2009. Accepted for publication. [ Abstract | PDF | DjVu ]
[6]
Benoît Montagu and Didier Rémy. Towards a Simpler Account of Modules and Generativity: Abstract Types have open Existential Types. Draft, March 2008. [ PDF ]
[7]
Benoît Montagu. Modules de première classe. Master's thesis, École Polytechnique, INRIA Paris Rocquencourt, August 2007. Internship realized under the supervision of Didier Rémy. [ PDF ]
[8]
Benoît Montagu. An affine type system for safe destructive updates in a functional language. Technical report, École Polytechnique, Technische Universität München, Germany, July 2006. Internship realized under the supervision of Tobias Nipkow and Alexander Krauss. [ PS.GZ ]
See also Didier Rémy's page on modules.
Note that articles marked as drafts may be modified or disappear at any time.

Talks

[1]
André DeHon, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, and Gregory Sullivan. Preliminary Design of the SAFE Platform, October 2011. Talk given at PLOS'11 in Cascais, Portugal. [ PDF ]
[2]
Benoît Montagu. Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types, December 2010. Slides of my Ph.D. defense. [ PDF ]
[3]
Benoît Montagu. Experience report: Formalizing F-zip using the locally nameless approach, September 2010. Talk given at WMM'10 in Baltimore, Maryland, USA. [ PDF ]
[4]
Benoît Montagu and Didier Rémy. Modeling Abstract Types in Modules with Open Existential Types, January 2009. Talk given at POPL'09 in Savannah, Georgia, USA. [ PDF ]
[5]
Benoît Montagu. A Logical Account of Type Generativity: Abstract types have open existential types, June 2008. Séminaire LAMA. [ PDF ]
[6]
Benoît Montagu. Vers des modules de première classe, November 2007. Séminaire PPS. [ PDF ]
[7]
Benoît Montagu. Vers des modules de première classe, October 2007. Séminaire Gallium-Moscova. [ PDF ]