A Relational Approach To Optimization Problems (1996)

Cached

Download Links

by Sharon Curtis
Citations:6 - 0 self

Active Bibliography

4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations – John Hawkins - 2005
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
14 Virtual Data Structures – D. Swierstra, D. Swierstra, O. De Moor, O. De Moor - 1992
Alternating States for Dual Nondeterminism in Imperative Programming whh383a – 1 – Wim H. Hesselink
20 Algebra of logic programming – Silvija Seres - 1999
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
4 Calculate Categorically! – Maarten Fokkinga - 1992
22 Datatype Laws without Signatures – Maarten M. Fokkinga - 1996
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
7 The derivation of on-line algorithms, with an application to finding palindromes – Johan Jeuring - 1994
93 Polytypic programming – Patrik Jansson - 2000
1 Parallel Haskell: The vectorisation monad – Keith Clarke, Jonathan M. D. Hill - 1993
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
14 From Dynamic Programming to Greedy Algorithms – Richard Bird, Oege De Moor - 1992