Vincent Balat

According to our database, Vincent Balat authored at least 16 papers between 1998 and 2019.

Collaborative distances:

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

2019

Eliom: A Language for Modular Tierless Web Programming.

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

CoRR, 2019

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

2014

From bytecode to JavaScript: the Js_of_ocaml compiler.

Jérôme Vouillon, Vincent Balat

Softw. Pract. Exp., 2014

2013

Client-server web applications widgets.

Vincent Balat

Proceedings of the 22nd International World Wide Web Conference, 2013

A Declarative-Friendly API for Web Document Manipulation.

Benjamin Canou, Emmanuel Chailloux, Vincent Balat

Proceedings of the Practical Aspects of Declarative Languages, 2013

2010

Specifying Imperative ML-Like Programs Using Dynamic Logic.

Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel

Proceedings of the Formal Verification of Object-Oriented Software, 2010

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

O'browser: objective caml on browsers.

Benjamin Canou, Vincent Balat, Emmanuel Chailloux

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

2006

Remarks on isomorphisms in typed lambda calculi with empty and sum types.

Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat

Ann. Pure Appl. Log., 2006

Ocsigen: typing web interaction with objective Caml.

Vincent Balat

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2004

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.

Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore

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

2002

Une étude des sommes fortes : isomorphismes et formes normales. (A study of strong sums: isomorphisms and normal forms).

Vincent Balat

PhD thesis, 2002

Memoization in Type-Directed Partial Evaluation.

Vincent Balat, Olivier Danvy

Proceedings of the Generative Programming and Component Engineering, 2002

1999

A Linear Logical View of Linear Type Isomorphisms.

Vincent Balat, Roberto Di Cosmo

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.

Vincent Balat, Olivier Danvy

Proceedings of the Types in Compilation, Second International Workshop, 1998