Benno Stein 0002, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe stream-based programming with refinement types
ASE, 2018.
@inproceedings{ASE-2018-SteinCSC, author = "Benno Stein 0002 and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang", booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}", doi = "10.1145/3238147.3238174", pages = "565--576", publisher = "{ACM}", title = "{Safe stream-based programming with refinement types}", year = 2018, }