SPLASH 2017 (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 2017 | A Simple Soundness Proof for Dependent Object Types Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2017-profile
View general profile
View general profile