conf.researchr.org / Morten Krogh-Jespersen
Not registered as user yet
Name:Morten Krogh-Jespersen
Affiliation:Aarhus University
Contributions
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