Vincent Balat

	2010
10		Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel: Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS 2010: 122-137
	2009
9		Vincent Balat, Jérôme Vouillon, Boris Yakobowski: Experience report: ocsigen, a web programming framework. ICFP 2009: 311-316
	2008
8		Benjamin Canou, Vincent Balat, Emmanuel Chailloux: O'browser: objective caml on browsers. ML 2008: 69-78
	2006
7		Vincent Balat: Ocsigen: typing web interaction with objective Caml. ML 2006: 84-94
6		Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat: Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Logic 141(1-2): 35-50 (2006)
	2004
5		Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore: Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL 2004: 64-76
	2002
4		Vincent Balat, Olivier Danvy: Memoization in Type-Directed Partial Evaluation. GPCE 2002: 78-92
3		Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat: Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS 2002: 147-
	1999
2		Vincent Balat, Roberto Di Cosmo: A Linear Logical View of Linear Type Isomorphisms. CSL 1999: 250-265
	1998
1		Vincent Balat, Olivier Danvy: Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Types in Compilation 1998: 240-252

Coauthor Index

1	Richard Bubel	[10]
2	Benjamin Canou	[8]
3	Emmanuel Chailloux	[8]
4	Roberto Di Cosmo	[2] [3] [5] [6]
5	Olivier Danvy	[1] [4]
6	Marcelo P. Fiore	[3] [5] [6]
7	Reiner Hähnle	[10]
8	Séverine Maingaud	[10]
9	Alexandre Miquel	[10]
10	Jérôme Vouillon (Jerome Vouillon)	[9]
11	Boris Yakobowski	[9]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page