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 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:20 - 12:00 | |||
10:20 25mTalk | Safely Mixing OCaml and Rust ML Stephen Dolan University of Cambridge | ||
10:45 25mTalk | Rust Distilled: An Expressive Tower of Languages ML Aaron Weiss Northeastern University, Daniel Patterson Northeastern University, Amal Ahmed Northeastern University, USA Link to publication Pre-print | ||
11:10 25mTalk | Generating Mutually Recursive Definitions ML Pre-print | ||
11:35 25mTalk | Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules ML Martin Elsman University of Copenhagen, Denmark, Philip Munksgaard Intelligent Alpha AG, Switzerland, Ken Friis Larsen DIKU, University of Copenhagen Link to publication | ||