The Third Homomorphism Theorem (1995)

by Jeremy Gibbons , Jeremy Gibbons
Citations:24 - 3 self

Documents Related by Co-Citation

215 An introduction to the theory of lists – R S Bird - 1987
41 Parallel Programming with List Homomorphisms, Parallel Processing Letters 5 – M Cole - 1995
14 Deriving associative operators for language recognition – D Barnard, J Schmeiser, D Skillicorn - 1991
1312 Monads for functional programming – Philip Wadler - 1995
12 Constructing list homomorphisms – S Gorlatch - 1995
68 Foundations of Parallel Programming – D Skillicorn - 1994
157 Scans as Primitive Parallel Operations – Guy Blelloch - 1987
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
12 A correctness proof of parallel scan – John O’Donnell - 1994
92 Architecture-independent parallel computation – D B Skillicorn - 1990
22 Scans as Primitive Operations – G Blelloch - 1987
16 Systematic Extraction and Implementation of Divide-and-Conquer Parallelism – Sergei Gorlatch - 1996
19 Parallelism via homomorphism – Z N Grant-Duff, P Harrison - 1996
8 Lemma discovery by anti-unification of regular sorts – B Heinz - 1994
180 Efficient Parallel Algorithms – A Gibbons, W Ritter - 1998
21 Formal derivation of efficient parallel programs by construction of list homomorphisms – Z Hu, H Iwasaki, M Takechi - 1997
18 Efficient Parallel Algorithms for Tree Accumulations – Jeremy Gibbons, Wentong Cai, David B. Skillicorn - 1994