Morten Krogh-Jespersen -

Not registered as user yet

Name:Morten Krogh-Jespersen

Affiliation:Aarhus University

Contributions

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