Shortcut fusion for accumulating parameters & zip-like functions

DOI10.1145/581478.581491zbMath1322.68050OpenAlexW2159227002MaRDI QIDQ2949199

Josef Svenningsson

Publication date: 7 October 2015

Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/581478.581491

zbMATH Keywords

program transformationoptimisationdeforestationfunctional programmingintermediate data structures

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Related Items (7)

Push versus pull-based loop fusion in query engines ⋮ Deaccumulation techniques for improving provability ⋮ Manipulating accumulative functions by swapping call-time and return-time computations ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ Semantics and Pragmatics of New Shortcut Fusion Rules ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages ⋮ Refined typing to localize the impact of forced strictness on free theorems

This page was built for publication: Shortcut fusion for accumulating parameters & zip-like functions