@article{stefan:2017:flexible,
  author    = {Deian Stefan and Alejandro Russo and David Mazi\`eres and John C. Mitchell},
  title     = {Flexible Dynamic Information Flow Control in the Presence of Exceptions},
  journal   = {Journal of Functional Programming},
  year      = {2017},
  volume    = {27},
  publisher = {Cambridge University Press},
  code      = {https://github.com/scslab/lio-semantics},
}