Algorithm+ strategy= parallelism PW Trinder, K Hammond, HW Loidl, SLP Jones Journal of functional programming 8 (1), 23-60, 1998 | 373 | 1998 |

Static determination of quantitative resource usage for higher-order programs S Jost, K Hammond, HW Loidl, M Hofmann ACM Sigplan Notices 45 (1), 223-236, 2010 | 126 | 2010 |

Comparing parallel functional languages: Programming and performance HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ... Higher-Order and Symbolic Computation 16 (3), 203-251, 2003 | 120 | 2003 |

Seq no more: better strategies for parallel Haskell S Marlow, P Maier, HW Loidl, MK Aswad, P Trinder ACM Sigplan Notices 45 (11), 91-102, 2010 | 97 | 2010 |

Parallel and distributed Haskells PW Trinder, HW Loidl, RF Pointon Journal of Functional Programming 12 (4-5), 469-510, 2002 | 93 | 2002 |

Granularity in large-scale parallel functional programming HW Loidl University of Glasgow, 1998 | 69 | 1998 |

A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007 | 64 | 2007 |

Visualising granularity in parallel programs: A graphical winnowing system for Haskell K Hammond, HW Loidl, AS Partridge HPFC 95, 208-221, 1995 | 64 | 1995 |

The design and implementation of Glasgow Distributed Haskell RF Pointon, PW Trinder, HW Loidl Symposium on Implementation and Application of Functional Languages, 53-70, 2000 | 60 | 2000 |

Engineering parallel symbolic programs in GPH HW Loidl, PW Trinder, K Hammond, SB Junaidu, RG Morgan, ... Concurrency: Practice and Experience 11 (12), 701-752, 1999 | 53 | 1999 |

“Carbon Credits” for Resource-Bounded Computations using Amortised Analysis S Jost, HW Loidl, K Hammond, N Scaife, M Hofmann International Symposium on Formal Methods, 354-369, 2009 | 48 | 2009 |

A program logic for resource verification D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano International Conference on Theorem Proving in Higher Order Logics, 34-49, 2004 | 45 | 2004 |

Comparing high level mapreduce query languages RJ Stewart, PW Trinder, HW Loidl International Workshop on Advanced Parallel Processing Technologies, 58-72, 2011 | 42 | 2011 |

On the Granularity of Divide-and-Conquer Parallelism. HW Loidl, K Hammond Functional Programming, 8, 1995 | 38 | 1995 |

Open (ing) Spaces: Design as Landscape Architecture H Loidl, S Bernard Walter de Gruyter, 2014 | 36 | 2014 |

ParaForming: forming parallel haskell programs using novel refactoring techniques C Brown, HW Loidl, K Hammond International Symposium on Trends in Functional Programming, 82-97, 2011 | 31 | 2011 |

Trends in functional programming H Nilsson Intellect Books, 2007 | 31 | 2007 |

PACLIB User Manual H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ... | 29 | 1992 |

Cost analysis using automatic size and time inference AJR Portillo, K Hammond, HW Loidl, P Vasconcelos Symposium on Implementation and Application of Functional Languages, 232-247, 2002 | 28 | 2002 |

Managing heterogeneity in a grid parallel Haskell A Al Zain, P Trinder, HW Loidl, G Michaelson Scalable Computing: Practice and Experience 7 (3), 9-25, 2006 | 25 | 2006 |