Semantics and Pragmatics of New Shortcut Fusion Rules

DOI10.1007/978-3-540-78969-7_13zbMATH Open1137.68347OpenAlexW4252945515MaRDI QIDQ5458435FDOQ5458435

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Using circular programs to deforest in accumulating parameters
• Title not available (Why is that?)
• Title not available (Why is that?)
• Shortcut fusion for accumulating parameters & zip-like functions
• A generalization of short-cut fusion and its correctness proof
• Concatenate, reverse and map vanish for free
• Call-pattern specialisation for Haskell programs

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)