15 papers:
PADL-2015-VaugonWC #ml #programming- Programming Microcontrollers in OCaml: The OCaPIC Project (BV, PW, EC), pp. 132–148.
IFL-2012-Clerc #java #ml #named- OCaml-Java: From OCaml Sources to Java Bytecodes (XC), pp. 71–85.
ICFP-2011-ChyzakD #generative #ml #runtime #using #web- Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
FLOPS-2010-Kiselyov #ml- Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
- ICFP-2010-BuissonD #configuration management #execution #named
- ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- 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.
ESOP-2008-MandelM #programming #tool support- Programming in JoCaml (Tool Demonstration) (LM, LM), pp. 108–111.
- IFL-2008-TellerSV #fault #lightweight #ml #performance #polymorphism #type safety
- Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
- 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.
POPL-2008-Minsky #ml- Caml trading (YM), p. 285.
- ICFP-2006-Frisch #ml
- OCaml + XDuce (AF), pp. 192–200.
- ICFP-2005-MasuharaTY #aspect-oriented #functional #ml
- Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.
- ICFP-2005-RingenburgG #named
- AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.
AFP-2002-FournetFMS02 #concurrent #distributed #mobile #named #programming- JoCaml: A Language for Concurrent Distributed and Mobile Programming (CF, FLF, LM, AS), pp. 129–158.
