Oxide: The Essence of Rust
Presented on November 30, 2020
Presenter: Mehmet emre
Presenter: Mehmet emre
Preview
Mehmet presented “Oxide: The Essence of Rust” by Weiss et al. This preprint presents a core language that captures the ownership semantics part of Rust (like Rust equivalent of Featherweight Java).