Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang. Safe stream-based programming with refinement types. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 565-576, ACM, 2018. [doi]
Abstract is missing.