Concatenate, Reverse and Map Vanish For Free (2002)

by Janis Voigtländer
Citations:25 - 9 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
326 Theorems for free! – Philip Wadler - 1989
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
17 A generalization of short-cut fusion and its correctness proof – P Johann
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
43 Logical relation and the typed lambda calculus – R Statman - 1985
19 Bridging the gulf: a common intermediate language for ML and Haskell – Simon Peyton Jones, John Launchbury, Mark Shields, Andrew Tolmach - 1998
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
28 Interprétation functionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
54 Equality between functionals – Harvey Friedman - 1975
10 The concatenate vanishes. Note – P Wadler - 1987
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986