|
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
|
|
33
|
Elements of a Relational Theory of Datatypes
– Roland Backhouse, Paul Hoogendijk
- 1993
|
|
8
|
(Relational) Programming Laws in the Boom Hierarchy of Types
– Paul F. Hoogendijk
- 1992
|
|
31
|
An Exploration of the Bird-Meertens Formalism
– Roland Backhouse
- 1989
|
|
|
Formal Construction of a Sorting Algorithm
– Pedro R. Borges, Jesús Ravelo
- 1993
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
39
|
The Bird-Meertens Formalism as a Parallel Model
– D. B. Skillicorn
- 1993
|
|
57
|
A cost calculus for parallel functional programming
– D. B. Skillicorn
- 1995
|
|
17
|
Generic Downwards Accumulations
– Jeremy Gibbons
- 2000
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
3
|
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
|
|
8
|
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
|
