|
42
|
A tutorial on the universality and expressiveness of fold
– Graham Hutton
- 1999
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
15
|
Between Functions and Relations in Calculating Programs
– Graham Muir Hutton
- 1992
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
12
|
Proof Methods for Structured Corecursive Programs
– Jeremy Gibbons, Graham Hutton
- 1999
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
9
|
Monadic augment and generalised short cut fusion
– Neil Ghani, Patricia Johann
- 2005
|
|
|
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES
– Ondrej Rypacek
- 2009
|
|
1
|
Simplifying Parallel List Traversal
– Jan-willem Maessen, Jan-willem Maessen
- 1995
|
|
2
|
Deriving animations from recursive definitions
– Alcino Cunha, José Barros, João Saraiva
- 2002
|
|
6
|
A Relational Approach To Optimization Problems
– Sharon Curtis
- 1996
|
|
24
|
Calculating Functional Programs
– Jeremy Gibbons
- 2000
|
|
7
|
The Zip Calculus
– Mark Tullsen
- 2000
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
24
|
Type Inference Builds a Short Cut to Deforestation
– Olaf Chitil
- 1999
|
|
|
Deterministic Second-order Patterns in Program Transformation
– Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
- 2003
|
|
4
|
Attribute Grammars and Functional Programming Deforestation
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also
- 1997
|
