conf.researchr.org / Marianna Rapoport
Registered user since Mon 25 Apr 2016
Name:Marianna Rapoport
Country:Canada
Affiliation:Amazon Web Services
Personal website: http://mrapoport.com
GitHub: https://github.com/amaurremi
Research interests:verification, type systems, functional programming, compilers
Contributions
2023
2022
2020
ECOOP
2019
SPLASH
- Session Chair of Practical Bits (Grads) (part of PLMW)
- Contributor/Author of Icebreaker and Networking Activity within the PLMW-track
- Session Chair of Being a PhD Student (part of PLMW)
- Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track
- Co-chair in Organizing Committee within the PLMW-track
- Contributor/Author of Introduction within the PLMW-track
- Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track