Stream fusion, to completeness

Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis. Stream fusion, to completeness. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 285-299, ACM, 2017. [doi]

@inproceedings{KiselyovBPS17,
  title = {Stream fusion, to completeness},
  author = {Oleg Kiselyov and Aggelos Biboudis and Nick Palladinos and Yannis Smaragdakis},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009880},
  researchr = {https://researchr.org/publication/KiselyovBPS17},
  cites = {0},
  citedby = {0},
  pages = {285-299},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}