An Exploration of the Bird-Meertens Formalism (1989)

Cached

Download Links

by Roland Backhouse
Venue:In STOP Summer School on Constructive Algorithmics, Abeland
Citations:32 - 3 self

Documents Related by Co-Citation

215 An introduction to the theory of lists – R S Bird - 1987
1312 Monads for functional programming – Philip Wadler - 1995
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
105 Data structures and program transformation – G Malcolm - 1990
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
23 A gentle introduction to category theory --- the calculational approach – Maarten M. Fokkinga - 1992
21 Formal derivation of a pattern matching algorithm – Richard S Bird, Jeremy Gibbons, Geraint Jones - 1989
42 A calculus of functions for program derivation – Richard S Bird - 1990
35 Homomorphisms and promotability – G Malcolm - 1989
24 Algebras for Tree Algorithms. D – J Gibbons - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992
10 Een methode van programmeren – E W Dijkstra, W H J Feijen - 1984
43 Program Construction and Verification – R Backhouse - 1986
437 Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs – J Backus - 1978
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984