Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 72 | 2019 |
Oxide: The essence of Rust (2021) A Weiss, O Gierczak, D Patterson, A Ahmed URL: http://arxiv. org/abs/1903.00982 v3, 1903 | 5 | 1903 |
Gradually Typed Languages Should Be Vigilant! O Gierczak, L Menon, C Dimoulas, A Ahmed Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 864-892, 2024 | 2 | 2024 |
An Incremental Approach to the Semantics of Borrowing B Marshall, A Wagner, J Li, O Gierczak, A Ahmed | | |