The Under-Appreciated Unfold (1998)

Cached

Download Links

by Jeremy Gibbons , Geraint Jones
Venue:In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming
Citations:48 - 10 self

Active Bibliography

3 Streaming Representation-Changers – Jeremy Gibbons - 2004
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
13 The Role of Lazy Evaluation in Amortized Data Structures – Chris Okasaki - 1996
93 Polytypic programming – Patrik Jansson - 2000
13 Purely Functional, Real-Time Deques with Catenation – Haim Kaplan, Robert E. Tarjan - 1999
16 Inductive Graphs and Functional Graph Algorithms – Martin Erwig - 2001
Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
12 Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming – Tyng-Ruey Chuang, Benjamin Goldberg - 1993
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
10 Generic Accumulations – Alberto Pardo - 2002
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
20 Algebra of logic programming – Silvija Seres - 1999
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007