conf.researchr.org / Leo Stefanesco
Registered user since Fri 3 Nov 2017
Contributions
2020
2018
POPL
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Research Papers-track
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Artifact Evaluation-track