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