Semantics and Pragmatics of New Shortcut Fusion Rules

Author: J. Voigtländer
Published: In 9th International Symposium on Functional and Logic Programming (FLOPS'08, acceptance rate 20/59), Ise, Japan, Proceedings, volume 4989 of LNCS, pages 163-179, Springer, April 2008.
DOI: 10.1007/978-3-540-78969-7_13
BibTeX: Voi08c.bib
Abstract: We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose a new rule that trades circularity for higher-orderedness, and thus attains better semantic properties. This also leads us to revisit the original foldr/build-rule, as well as its dual, and to develop variants that do not suffer from detrimental impacts of Haskell's mixed strict/nonstrict semantics. Throughout, we offer pragmatic insights about our new rules to investigate also their relative effectiveness, rather than just their semantic correctness.
Download: SemanticsAndPragmaticsOfNewShortcutFusionRules.pdf
Rights: Copyright held by Springer.
Slides: Slides of my talk at the conference are here.