Semantics and Pragmatics of New Shortcut Fusion Rules
From MaRDI portal
Publication:5458435
DOI10.1007/978-3-540-78969-7_13zbMath1137.68347MaRDI QIDQ5458435
Publication date: 11 April 2008
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_13
68N18: Functional programming and lambda calculus
Related Items
Refined typing to localize the impact of forced strictness on free theorems, Shortcut fusion rules for the derivation of circular and higher-order programs
Cites Work
- Unnamed Item
- Unnamed Item
- Using circular programs to deforest in accumulating parameters
- A generalization of short-cut fusion and its correctness proof
- Concatenate, reverse and map vanish for free
- Shortcut fusion for accumulating parameters & zip-like functions
- Call-pattern specialisation for Haskell programs