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 - 10:45|
Stephen DolanUniversity of Cambridge
|10:45 - 11:10|
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USALink to publication Pre-print
|11:10 - 11:35|
|11:35 - 12:00|
Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of CopenhagenLink to publication