Safe Stream-Based Programming with Refinement Types | IEEE Conference Publication | IEEE Xplore