|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
18
|
Parallel Implementation of Tree Skeletons
– D. B. Skillicorn
- 1995
|
|
21
|
The Third Homomorphism Theorem
– Jeremy Gibbons, Jeremy Gibbons
- 1995
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
34
|
Parallel Programming with List Homomorphisms
– M Cole
- 1995
|
|
7
|
Parallelizing Functional Programs by Generalization
– Alfons Geser, Sergei Gorlatch
- 1997
|
|
17
|
Efficient Parallel Algorithms for Tree Accumulations
– Jeremy Gibbons, Wentong Cai, David B. Skillicorn
- 1994
|
|
140
|
Parallel Programming Using Skeleton Functions
– J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D. W. N. Sharp, Q. Wu, R.L. While
- 1993
|
|
28
|
Parallelization in Calculational Forms
– Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin
- 1998
|
|
27
|
On the relation between functional and data parallel programming languages, in: FPCA’93
– P Hammarlund, B Lisper
- 1993
|
|
4
|
D.G.Kirkpatrick and T.Przytycka, A simple parallel tree contraction algorithm
– K Abrahamson, N Dadoun
- 1989
|
|
2
|
Zhenjiang Hu and Masato Takechi, Program transformation in calculation form
– Akihiko Takano
|
|
2
|
Hideya Iwasaki and Masato Takechi, Formal derivation of efficient parallel programs by construction of list homomorphisms
– Zhenjiang Hu
- 1997
|
|
2
|
Masato Takechi and Wei-Ngan Chin, Parallelization in calculation forms
– Zhenjiang Hu
- 1998
|
|
2
|
On linear list recursion in parallel, Acta Informatica 35:10
– Christoph Wedler, Christian Lengauer
- 1998
|
|
17
|
Generic Downwards Accumulations
– Jeremy Gibbons
- 2000
|
|
572
|
A Survey of Program Slicing Techniques
– F. Tip
- 1995
|
|
234
|
Vector models for data-parallel computing
– G E Blelloch
- 1990
|
|
7
|
Categorical programming with inductive and coinductive types
– Varmo Vene
- 2000
|
