Travelled to:1 × Denmark
1 × United Kingdom
Collaborated with:E.Chailloux G.Henry M.Mauny B.Pagano O.Andrieu T.Moniot B.Canou P.Wang J.Colaço
Talks about:type (2) unmarshal (1) framework (1) without (1) marshal (1) develop (1) safeti (1) report (1) object (1) experi (1)
Person: Pascal Manoury
DBLP: Manoury:Pascal
Contributed to:
20122009Wrote 2 papers:
- 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.