Browsing by author "Stefanesco, Léo"
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)