Jérôme Vouillon

According to our database, Jérôme Vouillon authored at least 25 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Eliom: A Language for Modular Tierless Web Programming.

Gabriel Radanne, Jérôme Vouillon, Vincent Balat

CoRR, 2019

2018

Tierless Web Programming in the Large.

Gabriel Radanne, Jérôme Vouillon

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2016

Eliom: tierless Web programming from the ground up.

Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Eliom: A Core ML Language for Tierless Web Programming.

Gabriel Radanne, Jérôme Vouillon, Vincent Balat

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

A Historical Analysis of Debian Package Incompatibilities.

Maëlick Claes, Tom Mens, Roberto Di Cosmo, Jérôme Vouillon

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

2014

From bytecode to JavaScript: the Js_of_ocaml compiler.

Jérôme Vouillon, Vincent Balat

Softw. Pract. Exp., 2014

Easing software component repository evolution.

Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

On software component co-installability.

Jérôme Vouillon, Roberto Di Cosmo

ACM Trans. Softw. Eng. Methodol., 2013

Broken sets in software repository evolution.

Jérôme Vouillon, Roberto Di Cosmo

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A Solution to the PoplMark Challenge Based on de Bruijn Indices.

Jérôme Vouillon

J. Autom. Reason., 2012

2009

Experience report: ocsigen, a web programming framework.

Vincent Balat, Jérôme Vouillon, Boris Yakobowski

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Lwt: a cooperative thread library.

Jérôme Vouillon

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

Improving the Quality of GNU/Linux Distributions.

Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A very modal model of a modern, major, general type system.

Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Polymorphic regular tree types and patterns.

Jerome Vouillon

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Polymorphism and XDuce-style patterns.

Jerome Vouillon

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2005

Regular expression types for XML.

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2005

Recursive Polymorphic Types and Parametricity in an Operational Framework.

Paul-André Melliès, Jerome Vouillon

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Semantic types: a fresh look at the ideal model for types.

Jerome Vouillon, Paul-André Melliès

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Subtyping Union Types.

Jerome Vouillon

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2001

Unison: A File Synchronizer and Its Specification.

Benjamin C. Pierce, Jerome Vouillon

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Combining subsumption and binary methods: an object calculus with views.

Jerome Vouillon

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

1998

Objective ML: An Effective Object-Oriented Extension to ML.

Didier Rémy, Jerome Vouillon

Theory Pract. Object Syst., 1998

1997

Objective ML: A Simple Object-Oriented Extension of ML.

Didier Rémy, Jerome Vouillon

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997