@article{timany-2017-a,
  author    = {Amin Timany and
               L{\'{e}}o Stefanesco and
               Morten Krogh{-}Jespersen and
               Lars Birkedal},
  title     = {A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of {runST}},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {64:1--64:28},
  year      = {2018},,
  doi       = {10.1145/3158152},
}