|
Search the dblp DataBase
Bruno Pagano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bruno Pagano
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:72-87 [Conf]
- Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
A conservative extension of synchronous data-flow with state machines. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:173-182 [Conf]
- Thérèse Hardin, Luc Maranget, Bruno Pagano
Functional Back-Ends within the Lambda-Sigma Calculus. [Citation Graph (0, 0)][DBLP] ICFP, 1996, pp:25-33 [Conf]
- Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano
CamIL: Un compilateur Objective Caml vers .NET. [Citation Graph (0, 0)][DBLP] RIVF, 2004, pp:147-152 [Conf]
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. [Citation Graph (, )][DBLP]
Certified Development Tools Implementation in Objective Caml. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|