An Exploration of the Bird-Meertens Formalism (1989)

View PDF

Download Links

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

Documents Related by Co-Citation

221 An introduction to the theory of lists – Richard S. Bird
1353 Monads for functional programming – Philip Wadler - 1995
96 Algorithmics — towards programming as a mathematical activity – L Meertens - 1986
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
473 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. j-CACM – J Backus - 1978
467 Comprehending Monads – Philip Wadler - 1992
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
107 Data structures and program transformation – Grant Malcolm - 1990