Benjamin Canou

	2009
3		Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220
	2008
2		Benjamin Canou, Vincent Balat, Emmanuel Chailloux: O'browser: objective caml on browsers. ML 2008: 69-78
1		Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang: Certified Development Tools Implementation in Objective Caml. PADL 2008: 2-17

Coauthor Index

1	Olivier Andrieu	[1] [3]
2	Vincent Balat	[2]
3	Emmanuel Chailloux	[1] [2] [3]
4	Jean-Louis Colaço	[1] [3]
5	Pascal Manoury	[3]
6	Thomas Moniot	[1] [3]
7	Bruno Pagano	[1] [3]
8	Philippe Wang	[1] [3]

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