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·Proceedings of the ACM on Programming Languages
DOI 10.1145/3158152