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

Documents Related by Co-Citation

1309 Monads for functional programming – Philip Wadler - 1995
466 The Science of Programming – D Gries - 1981
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
83 Infinite Objects in Type Theory – Thierry Coquand
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
15 Representations of stream processors using nested fixed points – Peter Hancock, Dirk Pattinson, Neil Ghani
7 Termination checking in the presence of nested inductive and coinductive types. Note supporting presentation given at the Workshop on Partiality and Recursion in Interactive Theorem Provers – Thorsten Altenkirch, Nils Anders Danielsson - 2009
121 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
169 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
16 Purely Functional Implementation of Attribute Grammars – João Alexandre, Baptista Vieira Saraiva, Promotor Prof, Dr. S. D. Swierstra, Faculteit Wiskunde En Informatica - 1999
2 Type-Based Useless-Variable Elimination – Naoki Kobayashi - 2000
5 Importing and exporting information in program development – A Pettorossi, M Proietti - 1987
5 Effective Optimisation of Multiple Traversals in Lazy Languages – Wei-ngan Chin, Aik-Hui Goh, Siau-cheng Khoo - 1999
9 A shortcut fusion rule for circular program calculation – J P Fernandes, A Pardo, J Saraiva - 2007
2 Shortcut fusion rules for the derivation of circular and higher-order monadic programs – Alberto Pardo, João Paulo Fernandes, João Saraiva - 2009
10 Using attribute grammars to derive efficient functional programs – M. F. Kuiper, S. D. Swierstra - 1987
10 Higher order generalization in program derivation – A Pettorossi, A Skowron - 1987
72 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
78 Ordered Attribute Grammars – U Kastens - 1980