SPLASH 2019 (series) / Marianna Rapoport
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