Active Bibliography

1 Using underspecification in the derivation of some optimal partition algorithms – Maarten M Fokkinga - 1990
2 An exercise in Transformational Programming: Backtracking and Branch-and-Bound – Maarten M Fokkinga - 2004
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
Formal Construction of a Sorting Algorithm – Pedro R. Borges, Jesús Ravelo - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
58 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
41 The Bird-Meertens Formalism as a Parallel Model – D. B. Skillicorn - 1993
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
7 Derivation of Parallel Algorithms from Functional Specifications to CSP Processes – Ali E. Abdallah - 1995
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations – John Hawkins - 2005
10 Exploiting symmetry on parallel architectures – Lewis Benjamin Stiller - 1995
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
7 Making Formality Work For Us – Roland Backhouse, Rijksuniversiteit Groningen - 1989
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans