From Transformations to Methodology in Parallel Program Development: A Case Study (1996)

by Sergei Gorlatch
Venue:Microprocessing and Microprogramming
Citations:4 - 1 self

Active Bibliography

Efficient Functional Programming Communication Functions on the AP1000 – Seng Wai Loke - 1994
2 Abstraction and Performance in the Design of Parallel Programs – Sergei Gorlatch - 1997
4 Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism – Sergei Gorlatch, Christian Lengauer - 1995
N-Graphs: A Topology for Parallel Divide-and-Conquer on Transputer Networks – Sergei Gorlatch, Christian Lengauer
467 Comprehending Monads – Philip Wadler - 1992
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
339 Theorems for free! – Philip Wadler - 1989
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993