Linear-time breadth-first tree algorithms: An exercise in the arithmetic of folds and zips (1993)

by Geraint Jones , Jeremy Gibbons
Venue:Dept of Computer Science, University of Auckland
Citations:7 - 1 self

Active Bibliography

1 Modular Operational Semantic Specification of Transport Triggered Architectures – Jon Mountjoy, Pieter Hartel, Henk Corporaal - 1997
13 Towards a Declarative Framework for Hardware-Software Codesign – Wayne Luk, Teddy Wu - 1994
10 Binomial Filters – Matthew Aubury - 1996
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
6 Compositional Logic Programming – Richard McPhee, Richard Mcphee - 2000
26 Designing Arithmetic Circuits by Refinement in Ruby – Geraint Jones, Mary Sheeran - 1992
9 Computing Downwards Accumulations on Trees Quickly – Jeremy Gibbons, Jeremy Gibbons - 1995
7 Questions and Answers About Categorical Data Types – D. B. Skillicorn - 1994
7 Categorical Data Types – D. B. Skillicorn - 1993
Efficient Functional Programming Communication Functions on the AP1000 – Seng Wai Loke - 1994
6 Structured Parallel Computation in Structured Documents – D. B. Skillicorn - 1995
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
5 An Initial-Algebra Approach to Directed Acyclic Graphs – Jeremy Gibbons, Jeremy Gibbons - 1995
6 Deriving Tidy Drawings of Trees – Jeremy Gibbons, Jeremy Gibbons - 1995
Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
41 The Bird-Meertens Formalism as a Parallel Model – D. B. Skillicorn - 1993
3 Parallel Programming Models Based on the Restricted Computation Structure Approach – M. Danelutto, S. Orlando, S. Pelagatti, M. Vanneschi - 1994
134 Models and Languages for Parallel Computation – David B. Skillicorn, Domenico Talia - 1998
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations – John Hawkins - 2005