Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Marianna Rapoport

Registered user since Mon 25 Apr 2016

Name: Marianna Rapoport

Country: Canada

Affiliation: University of Waterloo, Canada

Personal website: http://mrapoport.com

Research interests: type systems, functional programming

Contributions

SPLASH 2019Author of A Path To DOT: Formalizing Fully-Path-Dependent Types within the OOPSLA-track
Co-chair in Organizing Committee within the PLMW-track
Show activities from other conferences

Using general profile