Concatenate, Reverse and Map Vanish For Free (2002)

by Janis Voigtländer
Citations:25 - 9 self

Active Bibliography

13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
2 The substitution vanishes – Armin Kühnemann, Andreas Maletti - 2006
On Deforesting Parameters of Accumulating Maps (Extended Abstract) – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2001
5 On Deforesting Parameters of Accumulating Maps – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2002
1 A List-Processing Optimizer for Curry – Elvira Albert, César Ferri, Germán Vidal, Frank Steiner - 2000
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
Acta Informatica manuscript No. (will be inserted by the editor) Refined Typing to Localize the Impact of Forced Strictness on Free Theorems ⋆ – Daniel Seidel, Janis Voigtländer - 2011
The Worker/Wrapper Transformation (Extended Version) – Andy Gill, Graham Hutton
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
A Difference-List Transformation for Functional Logic Languages – Elvira Albert, César Ferri, Frank Steiner, Germán Vidal - 2000
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
In submission Higher-Order Cardinality Analysis Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – unknown authors