Concatenate, reverse and map vanish for free
From MaRDI portal
Publication:2949187
DOI10.1145/581478.581481zbMath1322.68051MaRDI 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 transformation; denotational semantics; combinators; parametricity; correctness proofs; list abstraction; rank-2 types; shortcut deforestation
68N18: Functional programming and lambda calculus
Related Items
Semantics and Pragmatics of New Shortcut Fusion Rules, Deaccumulation techniques for improving provability, A family of syntactic logical relations for the semantics of Haskell-like languages, Selective strictness and parametricity in structural operational semantics, inequationally