Travelled to:1 × Denmark
1 × France
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:P.Wang B.Canou ∅ P.Manoury B.Vaugon V.Balat B.Pagano O.Andrieu T.Moniot J.Colaço G.Henry M.Mauny
Talks about:caml (3) develop (2) object (2) type (2) tool (2) microcontrol (1) unmarshal (1) typecheck (1) implement (1) framework (1)
Person: Emmanuel Chailloux
DBLP: Chailloux:Emmanuel
Contributed to:
20152013
201220092008
1992Wrote 6 papers:
- PADL-2015-VaugonWC #ml #programming
- Programming Microcontrollers in OCaml: The OCaPIC Project (BV, PW, EC), pp. 132–148.
- PADL-2013-CanouCB #api #documentation #web
- A Declarative-Friendly API for Web Document Manipulation (BC, EC, VB), pp. 109–124.
- ICFP-2012-HenryMCM #type system
- Typing unmarshalling without marshalling types (GH, MM, EC, PM), pp. 287–298.
- 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.
- IWMM-1992-Chailloux #ambiguity #garbage collection #static typing
- A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.