Browsing by Author "Stefanesco, Léo"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
;Timany, Amin ;Stefanesco, Léo ;Krogh-Jespersen, MortenBirkedal, LarsProceedings paper2018, Principles of Programming Languages (POPL), 7/01/2018, p.Article No. 64