|
3
|
Streaming Representation-Changers
– Jeremy Gibbons
- 2004
|
|
17
|
Generic Downwards Accumulations
– Jeremy Gibbons
- 2000
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
|
Generic Accumulations for Program Calculation
– Mauro Jaskelioff
- 2004
|
|
13
|
The Role of Lazy Evaluation in Amortized Data Structures
– Chris Okasaki
- 1996
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
12
|
Purely Functional, Real-Time Deques with Catenation
– Haim Kaplan, Robert E. Tarjan
- 1999
|
|
9
|
Inductive Graphs and Functional Graph Algorithms
– Martin Erwig
- 2001
|
|
11
|
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
|
|
9
|
Generic Accumulations
– Alberto Pardo
- 2002
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
8
|
Towards Merging Recursion and Comonads
– Alberto Pardo
- 2000
|
|
|
Towards Merging Recursion and Comonads
– Alberto Pardo Instituto, Alberto Pardo
- 2000
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
|
Fission for Program Comprehension
– Jeremy Gibbons Oxford, Jeremy Gibbons
- 2006
|
