ASE 2018 : Safe Stream-Based Programming with Refinement Types

Reference

2018

detail
pdf

Safe Stream-Based Programming with Refinement Types

Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang

ASE 2018: IEEE/ACM International Conference on Automated Software Engineering

Abstract

BibTeX

@string{ASE = "IEEE/ACM International Conference on Automated Software Engineering (ASE)"}
@inproceedings{streams-ase18,
  author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang},
  title = {Safe Stream-Based Programming with Refinement Types},
  booktitle = ASE,
  year = {2018},
  pages = {565-576},
  
}