Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 10:20 - 10:45 at New York Central - Session 1

OCaml and Rust are safe languages with different strengths, but one cannot call the other without resorting to unsafe C code. This talk introduces caml-oxide, a prototype implementation of a safe interface between these two languages.

Unlike previous approaches (e.g. ctypes, SWIG), caml-oxide allows safe direct sharing of data structures without copying, by encoding the invariants of OCaml’s garbage collector into the rules of Rust’s borrow checker.

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

10:20 - 12:00: ML 2018 - Session 1 at New York Central
mlfamilyworkshop-2018-papers10:20 - 10:45
Stephen DolanUniversity of Cambridge
mlfamilyworkshop-2018-papers10:45 - 11:10
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Link to publication Pre-print
mlfamilyworkshop-2018-papers11:10 - 11:35
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
mlfamilyworkshop-2018-papers11:35 - 12:00
Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen
Link to publication