Semantics and Pragmatics of New Shortcut Fusion Rules

DOI10.1007/978-3-540-78969-7_13zbMath1137.68347OpenAlexW4252945515MaRDI QIDQ5458435

Janis Voigtländer

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ Refined typing to localize the impact of forced strictness on free theorems

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

This page was built for publication: Semantics and Pragmatics of New Shortcut Fusion Rules