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	Contributor/Author of Icebreaker and Networking Activity within the PLMW-track Author of A Path To DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track Co-chair in Organizing Committee within the PLMW-track Contributor/Author of Introduction within the PLMW-track Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track
Show activities from other conferences

Using general profile