Monadic augment and generalised short cut fusion (2005)

by Neil Ghani , Patricia Johann
Venue:Journal of Functional Programming
Citations:15 - 7 self

Active Bibliography

13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
21.1 GENERALIZING SHORT CUT FUSION 21.1.1 Introducing Short Cut Fusion – Neil Ghani, Patricia Johann
3 Short Cut Fusion of Recursive Programs with Computational Effects – Neil Ghani, Patricia Johann - 2008
unknown title – unknown authors
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
14 Rewriting Haskell Strings – Duncan Coutts, Don Stewart, Roman Leshchinskiy - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
3 Short cut fusion: Proved and improved – Patricia Johann - 2001
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999