Stream fusion, to completeness

DOI10.1145/3009837.3009880zbMath1380.68084arXiv1612.06668OpenAlexW2562640456MaRDI QIDQ5370864

Oleg Kiselyov, Yannis Smaragdakis, Aggelos Biboudis, Nick Palladinos

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.06668

zbMATH Keywords

optimizationcode generationstreamsmulti-stage programmingstream fusion

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (2)

Generating C. System description ⋮ Unified program generation and verification: a case study on number-theoretic transform

Uses Software

• OCaml
• Scala
• MetaOCaml
• Strymonas
• LinqOptimizer
• ScalaBlitz

This page was built for publication: Stream fusion, to completeness