Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 11:40 - 12:00 at Frisco - Session 3 Chair(s): KC Sivaramakrishnan

The OCaml system enjoys excellent support for a wide variety of hardware systems, and is not hard to port to new platforms, as long as Unix-like OS facilities (notably a libc) are available.

This talk discusses the issues that arise when trying to port instead to a platform without such general purpose OS facilities and tackles the resulting tricky cross-compilation issues. Interfacing directly with the hardware and via a ported MirageOS layer is also discussed, as well as cross-compilation of user libraries and strategies for reducing code size.

Running OCaml in new platforms is always fun, and the technical aspects will be interesting to anyone working in a cross-compilation setting.

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

11:20 - 12:00: OCaml 2018 - Session 3 at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
ocaml-2018-papers11:20 - 11:40
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2018-papers11:40 - 12:00