@misc{indiciae90886b88cf92,
  title = {The Complexity of Flow Analysis in Higher-Order Languages},
  author = {David Van Horn},
  year = {2013},
  url = {https://arxiv.org/abs/1311.4733},
  note = {Source identifier: 1311.4733}
}