Concepedia

Morten Krogh-Jespersen

MK

3

Publications

92

Citations

3

H-Index

2016

Active since

Affiliations

Aarhus University(Current)

KU Leuven

Morten Krogh-Jespersen is an author at Aarhus University specializing in automated reasoning, engineering, and linguistics.

Top concepts

Publications per year

2016–2018

3

Publications

3

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen et al. · Proceedings of the ACM on Programming Languages · 2017 · 50 citations · Full text

, , +19

A relational model of types-and-effects in higher-order concurrent separation logic

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal · 2016 · 29 citations

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen et al. · Symposium on Principles of Programming Languages · 2018 · 13 citations

, , +19

Rows per page

1–3 of 3