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

Active Bibliography

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
2 An exercise in Transformational Programming: Backtracking and Branch-and-Bound – Maarten M Fokkinga - 2004
19 Program Calculation Properties of Continuous Algebras – Maarten M Fokkinga, Erik Meijer - 1991
1 Using underspecification in the derivation of some optimal partition algorithms – Maarten M Fokkinga - 1990
39 Querying Nested Collections – Limsoon Wong - 1994
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
3 A Functional Perspective of Array Primitives – Tyng-Ruey Chuang - 1996
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
14 Virtual Data Structures – D. Swierstra, D. Swierstra, O. De Moor, O. De Moor - 1992
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
7 Making Formality Work For Us – Roland Backhouse, Rijksuniversiteit Groningen - 1989
1 An introduction to the theories of bulk data types – Simon Dobson - 1994
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
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
72 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
Formal Construction of a Sorting Algorithm – Pedro R. Borges, Jesús Ravelo - 1993