dblp.uni-trier.dewww.uni-trier.de

Bruno Pagano

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEBruno 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
2005
4EEJean-Louis Colaço, Bruno Pagano, Marc Pouzet: A conservative extension of synchronous data-flow with state machines. EMSOFT 2005: 173-182
2004
3EEEmmanuel Chailloux, Raphaël Montelatici, Bruno Pagano: CamIL: Un compilateur Objective Caml vers .NET. RIVF 2004: 147-152
1998
2EEBruno Pagano: X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. CADE 1998: 72-87
1996
1 Thérèse Hardin, Luc Maranget, Bruno Pagano: Functional Back-Ends within the Lambda-Sigma Calculus. ICFP 1996: 25-33

Coauthor Index

1Olivier Andrieu [5]
2Benjamin Canou [5]
3Emmanuel Chailloux [3] [5]
4Jean-Louis Colaço [4] [5]
5Thérèse Hardin [1]
6Luc Maranget [1]
7Thomas Moniot [5]
8Raphaël Montelatici [3]
9Marc Pouzet [4]
10Philippe Wang [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)