Parallelising a Large Functional Program Or: Keeping LOLITA Busy (1996)

Cached

Download Links

by Hans-wolfgang Loidl , Richard Morgan , Phil Trinder , Sanjay Poria , Chris Cooper , Simon Peyton Jones , Roberto Garigliano
Citations:9 - 1 self

Documents Related by Co-Citation

120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
28 Granularity in Large-Scale Parallel Functional Programming – Hans Wolfgang Loidl - 1998
21 First-class schedules and virtual maps – R Mirani, P Hudak - 1995
29 Nested Algorithmic Skeletons from Higher Order Functions – Greg Michaelson, Norman Scaife, Paul Bristow, Peter King - 2000
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
9 Hume: a Bounded Time Concurrent Language – K Hammond - 2000
6 Improving Granularity for Parallel Functional Programs: a Graphical Winnowing System for Haskell – K Hammond, H-W Loidl, A S Partridge - 1995
11 Concurrent Monadic Interfacing – Ian Holyer, Eleni Spiliopoulou - 1998
8 On Formalised Proofs of Termination of Recursive Functions – Fairouz Kamareddine, Francois Monin - 1999
6 Constraints on recursion in the Hume expression language – Greg Michaelson - 2000
4 Facing up to faults – B Randall
21 High Integrity Compilation: a Case Study – S Stepney - 1993
5 GUM: a Portable Parallel Implentatiion of Haskell – P W Trinder, K Hammond, J S Mattson Jr, A S Partridge, S L Peyton Jones - 1996
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
47 Complexity Analysis for a Lazy Higher-Order Language – David Sands - 1990
77 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
10 HPF vs. SAC - a Case Study – Clemens Grelck, Sven-Bodo Scholz - 2000
42 The Theory and Practice – A W Roscoe - 1998
148 Solvable cases of the decision problem – W Ackermann - 1954