Short cut fusion is correct

DOI10.1017/S0956796802004409MaRDI QIDQ4461770zbMATH OpenOpenAlexFDO

Authors Patricia Johann

Publication date 18 May 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796802004409

zbMATH Keywords

list-processing functions

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 2036330
• A generalization of short-cut fusion and its correctness proof
• scientific article; zbMATH DE number 5598380
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Shortcut fusion for accumulating parameters & zip-like functions

Cited in

(14)

• A family of syntactic logical relations for the semantics of Haskell-like languages
• A generalization of short-cut fusion and its correctness proof
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Logic of fusion
• Selective strictness and parametricity in structural operational semantics, inequationally
• Concatenate, reverse and map vanish for free
• The impact of higher-order state and control effects on local relational reasoning
• Algebraic fusion of functions with an accumulating parameter and its improvement
• scientific article; zbMATH DE number 2036330 (Why is no real title available?)
• Syntactic composition of top-down tree transducers is short cut fusion
• Improvements for free
• Semantics and Pragmatics of New Shortcut Fusion Rules
• GADTs, functoriality, parametricity: pick two
• Refined typing to localize the impact of forced strictness on free theorems

This page was built for publication: Short cut fusion is correct

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