The substitution vanishes (2006)

Cached

Download Links

by Armin Kühnemann , Andreas Maletti
Venue:In Algebraic Methodology and Software Technology, Proceedings, volume 4019 of LNCS
Citations:2 - 0 self

Documents Related by Co-Citation

18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
4 Syntactic Composition of Top-Down Tree Transducers is Short Cut Fusion – Claus Jürgensen, Heiko Vogler - 2001
2 Logic of Build Fusion – Dusko Pavlovic, D. Pavlovic - 2000
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
3 V.: Generalizing the augment combinator – N Ghani, T Uustalu, Vene - 2006
2 Generalizing substitution. Theor – T Uustalu - 2003
1 Improvements for Free – Daniel Seidel, Janis Voigtländer
1 P.: Short cut fusion for effects – N Ghani, Johann - 2009
1 extensions 1–3. Posts on the author’s blog ‘The Comonad.Reader – E Kan Kmett - 2008
1 Free monads for less 1–3. Posts on the author’s blog ‘The Comonad.Reader – E Kmett - 2011
1 A.: Shortcut fusion of monadic programs – C Manzino, Pardo - 2008
1 Recursive types for free! Unpublished note – P Wadler - 1990
1 The concatenate vanishes. Unpublished note – P Wadler - 1987
17 A generalization of short-cut fusion and its correctness proof – P Johann
7 Factorising Folds for Faster Functions – Graham Hutton, MAURO JASKELIOFF, Andy Gill
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005