conf.researchr.org / Arthur Oliveira Vale
Registered user since Thu 21 Nov 2019
Name:Arthur Oliveira Vale
Contributions
| POPL 2023 | Author of A Compositional Theory of Linearizability within the POPL-track |
| POPL 2022 | Author of Layered and Object-Based Game Semantics within the POPL-track |