@misc{indiciaec665d1824fb5,
  title = {Safe Stream-Based Programming with Refinement Types},
  author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang},
  year = {2018},
  doi = {10.1145/3238147.3238174},
  url = {https://arxiv.org/abs/1808.02998},
  note = {Source identifier: 1808.02998}
}