@misc{indiciaefaeef6925fc9,
  title = {Dependent Types for JavaScript},
  author = {Ravi Chugh and David Herman and Ranjit Jhala},
  year = {2012},
  url = {https://arxiv.org/abs/1112.4106},
  note = {Source identifier: 1112.4106}
}