Write a Blog >>
Marianna Rapoport

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


POPL 2020 The Future is Ours: Prophecy Variables in Separation Logic
Show activities from other conferences

POPL 2020-profile
View general profile