Algorithms from Theorems (1990)

Cached

Download Links

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

Active Bibliography

4 Incremental Algorithms on Lists – Johan Jeuring - 1991
1 Using underspecification in the derivation of some optimal partition algorithms – Maarten M Fokkinga - 1990
3 Bridging the Algorithm Gap: A Linear-time Functional Program for Paragraph Formatting – Oege De Moor, Jeremy Gibbons - 1997
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
9 Generic Programming With Relations and Functors – Richard Bird, Oege De Moor, Paul Hoogendijk - 1999
5 An Initial-Algebra Approach to Directed Acyclic Graphs – Jeremy Gibbons, Jeremy Gibbons - 1995
39 Querying Nested Collections – Limsoon Wong - 1994
9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
13 A Generic Program for Sequential Decision Processes – Oege De Moor - 1995
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations – John Hawkins - 2005
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
Formal Construction of a Sorting Algorithm РPedro R. Borges, Jes̼s Ravelo - 1993
Specification and Refinement of Functional Programs – Alexander Bunkenburg - 1994
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
7 Constructing Functional Programs for Grammar Analysis Problems – Johan Jeuring, Doaitse Swierstra - 1995
2 Calculation Carrying Programs - How to Code Program Transformations - – Masato Takeichi, Zhenjiang Hu - 2000
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995