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

Personal website: http://mrapoport.com

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