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

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