Algorithms from Theorems (1990)

Cached

Download Links

by Johan Jeuring , Johan Jeuring
Venue:Programming Concepts and Methods
Citations:11 - 5 self

Documents Related by Co-Citation

105 Data structures and program transformation – G Malcolm - 1990
215 An introduction to the theory of lists – R S Bird - 1987
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1312 Monads for functional programming – Philip Wadler - 1995
326 Theorems for free! – Philip Wadler - 1989
14 Algorithmics--towards programming as a mathematical activity – L Meertens - 1986
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
6 Deriving algorithms on binary labelled trees – J Jeuring - 1989
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
31 Category Theoretic Approach to Data Types – T Hagino - 1987
31 O.: Categories, relations and dynamic programming – de Moor - 1992
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
97 and Order in Algorithmics – Law - 1992
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
29 der Woude. Relational catamorphisms – R C Backhouse, P de Bruin, G Malcolm, E Voermans, J van - 1991
21 Formal derivation of a pattern matching algorithm – Richard S Bird, Jeremy Gibbons, Geraint Jones - 1989