TY  - RPRT
TI  - Oxide: The Essence of Rust
AU  - Aaron Weiss
AU  - Olek Gierczak
AU  - Daniel Patterson
AU  - Amal Ahmed
PY  - 2021
UR  - https://arxiv.org/abs/1903.00982
ID  - 1903.00982
ER  -