BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × USA
2 × United Kingdom
Collaborated with:
J.Colaço T.Hardin L.Maranget O.Andrieu T.Moniot B.Canou E.Chailloux P.Wang T.Bourke C.Pasteur M.Pouzet P.Manoury
Talks about:
explicit (2) calculus (2) develop (2) system (2) object (2) order (2) tool (2) caml (2) implement (1) framework (1)

Person: Bruno Pagano

DBLP DBLP: Pagano:Bruno

Contributed to:

CC 20152015
ICFP 20092009
PADL 20082008
CADE 19981998
ICFP 19961996

Wrote 5 papers:

CC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
ICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
PADL-2008-PaganoACCCMW #development #implementation #ml #tool support
Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.
CADE-1998-Pagano #calculus #first-order #higher-order #reduction
X.R.S : Explicit Reduction Systems — A First-Order Calculus for Higher-Order Calculi (BP), pp. 72–87.
ICFP-1996-HardinMP #calculus #functional
Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.