Semantics and Pragmatics of New Shortcut Fusion Rules

DOI10.1007/978-3-540-78969-7_13MaRDI QIDQ5458435zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Shortcut fusion rules for the derivation of circular and higher-order programs
• scientific article; zbMATH DE number 2036330
• A generalization of short-cut fusion and its correctness proof
• Short cut fusion is correct
• scientific article; zbMATH DE number 5598380

Cites work

• scientific article; zbMATH DE number 1380900 (Why is no real title available?)
• scientific article; zbMATH DE number 5033863 (Why is no real title available?)
• A generalization of short-cut fusion and its correctness proof
• Call-pattern specialisation for Haskell programs
• Concatenate, reverse and map vanish for free
• Shortcut fusion for accumulating parameters & zip-like functions
• Using circular programs to deforest in accumulating parameters

Cited in

(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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458435)