TY  - RPRT
TI  - Safe Stream-Based Programming with Refinement Types
AU  - Benno Stein
AU  - Lazaro Clapp
AU  - Manu Sridharan
AU  - Bor-Yuh Evan Chang
PY  - 2018
DO  - 10.1145/3238147.3238174
UR  - https://arxiv.org/abs/1808.02998
ID  - 1808.02998
ER  -