Registered user since Wed 15 Feb 2017
Contributions
2018
POPL
- A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST
- A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST
- Session Chair of Probability (part of Research Papers)
- Session Chair of Outside the box (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
POPL 2018-profile
View general profile
View general profile