Fold and Unfold for Program Semantics (1998)

Cached

Download Links

by Graham Hutton
Venue:In Proc. 3rd ACM SIGPLAN International Conference on Functional Programming
Citations:22 - 4 self

Active Bibliography

58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
95 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
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
15 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
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
26 Calculating Functional Programs – Jeremy Gibbons - 2000
7 The Zip Calculus – Mark Tullsen - 2000
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000