| Algorithm+ strategy= parallelism PW Trinder, K Hammond, HW Loidl, SLP Jones Journal of functional programming 8 (1), 23-60, 1998 | 394 | 1998 |
| Static determination of quantitative resource usage for higher-order programs S Jost, K Hammond, HW Loidl, M Hofmann Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 189 | 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, 203-251, 2003 | 132 | 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 | 113 | 2010 |
| Parallel and distributed Haskells PW Trinder, HW Loidl, RF Pointon Journal of Functional Programming 12 (4-5), 469-510, 2002 | 99 | 2002 |
| A program logic for resources D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theoretical Computer Science 389 (3), 411-445, 2007 | 90 | 2007 |
| Granularity in large-scale parallel functional programming HW Loidl PQDT-Global, 1998 | 74 | 1998 |
| “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 | 68 | 2009 |
| The design and implementation of Glasgow Distributed Haskell RF Pointon, PW Trinder, HW Loidl Implementation of Functional Languages: 12th International Workshop, IFL …, 2001 | 65 | 2001 |
| Visualising granularity in parallel programs: A graphical winnowing system for Haskell K Hammond, HW Loidl, AS Partridge HPFC 95, 208-221, 1995 | 65 | 1995 |
| Comparing high level mapreduce query languages RJ Stewart, PW Trinder, HW Loidl International Workshop on Advanced Parallel Processing Technologies, 58-72, 2011 | 64 | 2011 |
| 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 | 54 | 1999 |
| A program logic for resource verification D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano Theorem Proving in Higher Order Logics: 17th International Conference …, 2004 | 46 | 2004 |
| On the granularity of divide-and-conquer parallelism HW Loidl, K Hammond Proceedings of the 1995 Glasgow Workshop on Functional Programming, 1995 | 43 | 1995 |
| A survey of high-level parallel programming models E Belikov, P Deligiannis, P Totoo, M Aljabri, HW Loidl Heriot-Watt University, Edinburgh, UK 1 (2), 2-2, 2013 | 41 | 2013 |
| Paraforming: forming parallel haskell programs using novel refactoring techniques C Brown, HW Loidl, K Hammond Trends in Functional Programming: 12th International Symposium, TFP 2011 …, 2012 | 34 | 2012 |
| Cost analysis using automatic size and time inference ÁJ Rebón Portillo, K Hammond, HW Loidl, P Vasconcelos Symposium on Implementation and Application of Functional Languages, 232-247, 2002 | 32 | 2002 |
| PACLIB User Manual H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ... RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1992 | 31 | 1992 |
| Managing heterogeneity in a grid parallel Haskell AD Al Zain, PW Trinder, G Michaelson, HW Loidl Scalable Computing: Practice and Experience 7 (3), 2006 | 29 | 2006 |
| GPH: an architecture-independent functional language PW Trinder, E Barry Jr, MK Davis, K Hammond, SB Junaidu, U Klusik, ... IEEE Transactions on Software Engineering, 1998 | 29 | 1998 |
Phil TrinderProfessor of Computing Science, University of GlasgowZweryfikowany adres z glasgow.ac.uk