Vincent Balat - RankMe

17 papers A* 2A 1B 3C 1Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Eliom: A Language for Modular Tierless Web Programming. CoRR Gabriel Radanne, Jérôme Vouillon, Vincent Balat
2016	B	`conf`	Eliom: A Core ML Language for Tierless Web Programming. APLAS Gabriel Radanne, Jérôme Vouillon, Vincent Balat
2016	—	`conf`	Eliom: tierless Web programming from the ground up. IFL Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
2014	J	`jnl`	From bytecode to JavaScript: the Js_of_ocaml compiler. Softw. Pract. Exp. Jérôme Vouillon, Vincent Balat
2013	C	`conf`	A Declarative-Friendly API for Web Document Manipulation. PADL Benjamin Canou, Emmanuel Chailloux, Vincent Balat
2013	—	`conf`	Client-server web applications widgets. WWW (Companion Volume) Vincent Balat
2010	—	`conf`	Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
2009	A	`conf`	Experience report: ocsigen, a web programming framework. ICFP Vincent Balat, Jérôme Vouillon, Boris Yakobowski
2008	—	`conf`	O'browser: objective caml on browsers. ML Benjamin Canou, Vincent Balat, Emmanuel Chailloux
2006	—	`conf`	Ocsigen: typing web interaction with objective Caml. ML Vincent Balat
2006	J	`jnl`	Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Log. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
2004	A*	`conf`	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
2002	B	`conf`	Memoization in Type-Directed Partial Evaluation. GPCE Vincent Balat, Olivier Danvy
2002	A*	`conf`	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
2002	—	`—`	Une étude des sommes fortes : isomorphismes et formes normales. (A study of strong sums: isomorphisms and normal forms). Vincent Balat
1999	B	`conf`	A Linear Logical View of Linear Type Isomorphisms. CSL Vincent Balat, Roberto Di Cosmo
1998	—	`conf`	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Types in Compilation Vincent Balat, Olivier Danvy