Shortcut Fusion for Accumulating Parameters Zip-like Functions (2002)

Cached

Download Links

by Josef Svenningsson
Citations:42 - 0 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
90 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
17 A generalization of short-cut fusion and its correctness proof – P Johann
326 Theorems for free! – Philip Wadler - 1989
22 Parametricity and Unboxing with Unpointed Types – John Launchbury, Ross Paterson - 1996
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
10 cut fusion: proved and improved – Short - 2001
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
62 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
9 Composition of restricted Macro Tree Transducers – Janis Voigtländer, Verantwortlicher Hochschullehrer, Prof Dr. -ing, Heiko Vogler, Lehrstuhl Grundlagen - 2001
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
13 Free theorems involving type constructor classes: functional pearl – Janis Voigtländer, Technische Universität Dresden - 2009
16 Bidirectionalization for free – J Voigtländer - 2009