Concatenate, reverse and map vanish for free
From MaRDI portal
Publication:2949187
DOI10.1145/581478.581481zbMath1322.68051OpenAlexW2022050707MaRDI QIDQ2949187
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.581481
program transformationdenotational semanticscombinatorsparametricitycorrectness proofslist abstractionrank-2 typesshortcut deforestation
Related Items
Deaccumulation techniques for improving provability ⋮ 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