conf.researchr.org / Morten Krogh-Jespersen

Not registered as user yet

Name: Morten Krogh-Jespersen

Affiliation: Aarhus University

Contributions

POPL 2018Author 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
HOPE 2016Author of A Logical Account of a Type-and-Effect System within the HOPE-track
POPL 2017Author of A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic within the POPL-track