Marianna Rapoport - SPLASH 2019

Sun 20 - Fri 25 October 2019 Athens, Greece

Registered user since Mon 25 Apr 2016

Name:Marianna Rapoport

Country:Canada

Affiliation:University of Waterloo

Research interests:type systems, functional programming

Contributions

SPLASH 2019	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
Show activities from other conferences

SPLASH 2019-profile
View general profile