|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
1
|
Simplifying Parallel List Traversal
– Jan-willem Maessen, Jan-willem Maessen
- 1995
|
|
3
|
Eliminating Intermediate Lists in pH using Local Transformations
– Jan-Willem Maessen
- 1994
|
|
6
|
A Relational Approach To Optimization Problems
– Sharon Curtis
- 1996
|
|
7
|
The Many Disguises of Accumulation
– Eerke Boiten
- 1991
|
|
|
Efficient Functional Programming Communication Functions on the AP1000
– Seng Wai Loke
- 1994
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
1
|
Expression Refinement: Deriving Bresenham's Algorithm
– Alexander Bunkenburg, Sharon Flynn
- 1994
|
|
31
|
An Exploration of the Bird-Meertens Formalism
– Roland Backhouse
- 1989
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
|
Specification and Refinement of Functional Programs
– Alexander Bunkenburg
- 1994
|
|
33
|
Elements of a Relational Theory of Datatypes
– Roland Backhouse, Paul Hoogendijk
- 1993
|
|
8
|
Diffusion: Calculating Efficient Parallel Programs
– Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki
- 1999
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
21
|
Declarative Programming in Prolog
– Krzysztof R. Apt
- 1993
|
|
43
|
The Under-Appreciated Unfold
– Jeremy Gibbons, Geraint Jones
- 1998
|
