Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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


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