Travelled to:1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:E.Chailloux V.Balat B.Pagano O.Andrieu T.Moniot P.Wang J.Colaço P.Manoury
Talks about:develop (2) object (2) tool (2) caml (2) implement (1) framework (1) document (1) manipul (1) certifi (1) safeti (1)
Person: Benjamin Canou
DBLP: Canou:Benjamin
Contributed to:
2013
20092008Wrote 3 papers:
- PADL-2013-CanouCB #api #documentation #web
- A Declarative-Friendly API for Web Document Manipulation (BC, EC, VB), pp. 109–124.
- 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.