@article{stefan:2012: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      = {2012},
  publisher = {Cambridge University Press},
  note      = {Under revision},
  code      = {https://github.com/scslab/lio-semantics},
}