|
12
|
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
|
|
33
|
Free Theorems in the Presence of seq
– Patricia Johann, Janis Voigtländer
- 2004
|
|
29
|
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
|
|
42
|
A tutorial on the universality and expressiveness of fold
– Graham Hutton
- 1999
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
|
unknown title
– unknown authors
|
|
14
|
Rewriting Haskell Strings
– Duncan Coutts, Don Stewart, Roman Leshchinskiy
- 2007
|
|
5
|
Initial algebra semantics is enough
– Patricia Johann, Neil Ghani
- 2007
|
|
1
|
Algebraic fusion of functions with an accumulating parameter and its improvement
– Shin-ya Katsumata
- 2006
|
|
3
|
Short cut fusion: Proved and improved
– Patricia Johann
- 2001
|
|
24
|
Type Inference Builds a Short Cut to Deforestation
– Olaf Chitil
- 1999
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
21
|
Fold and Unfold for Program Semantics
– Graham Hutton
- 1998
|
|
4
|
Monadic Corecursion - Definition, Fusion Laws, and Applications
– Alberto Pardo
- 1998
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
