@article{KeilThiemann2015/,
  author    = {Matthias Keil and Peter Thiemann},
  title     = {On Contracts and Sandboxes for JavaScript},
  journal   = {},
  volume    = {},
  number    = {},
  pages     = {},
  year      = {2015},
  url       = {http://www.complang.tuwien.ac.at/kps2015/proceedings/},
}