conf.researchr.org / Pilar Selene Linares Arévalo
Not registered as user yet
Name:Pilar Selene Linares Arévalo
Country:Australia
Affiliation:University of Melbourne
Contributions
| VIMPL 2023 | Author of Uniqueness is Separation within the VIMPL 2023-track |
| SPLASH 2022 | Author of Composing Linear Types and Separation Logic Proofs of Memory Safety within the Posters-track |