Browsing by author "Krogh-Jespersen, Morten"
Now showing items 1-1 of 1
-
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
Timany, Amin; Stefanesco, Léo; Krogh-Jespersen, Morten; Birkedal, Lars (2018)