@misc{indiciae76edc8c6eab2,
  title = {Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)},
  author = {Anish Tondwalkar and Matthew Kolosick and Ranjit Jhala},
  year = {2021},
  url = {https://arxiv.org/abs/2105.01954},
  note = {Source identifier: 2105.01954}
}