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