![Marianna Rapoport](https://conf.researchr.org/getProfileImage/mariannarapoport/1744ff81-f506-48a2-89ed-a973b5a57c20/small.jpg?1711467045000)
Registered user since Mon 25 Apr 2016
Name:Marianna Rapoport
Country:Canada
Affiliation:University of Waterloo
Personal website: http://mrapoport.com
Research interests:type systems, functional programming
Contributions
2019
SPLASH
- Session Chair of Practical Bits (Grads) (part of PLMW)
- Icebreaker and Networking Activity
- Session Chair of Being a PhD Student (part of PLMW)
- A Path to DOT: Formalizing Fully Path-Dependent Types
- Co-chair in Organizing Committee within the PLMW-track
- Introduction
- A Path to DOT: Formalizing Fully Path-Dependent Types
SPLASH 2019-profile
View general profile
View general profile