Hans-Wolfgang Loidl
Hans-Wolfgang Loidl
Lecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh
Verified email at - Homepage
Cited by
Cited by
Algorithm+ strategy= parallelism
PW Trinder, K Hammond, HW Loidl, SLP Jones
Journal of functional programming 8 (1), 23-60, 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
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
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
Parallel and distributed Haskells
PW Trinder, HW Loidl, RF Pointon
Journal of Functional Programming 12 (4-5), 469-510, 2002
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theoretical Computer Science 389 (3), 411-445, 2007
Granularity in large-scale parallel functional programming
HW Loidl
PQDT-Global, 1998
Open (ing) spaces: Design as landscape architecture
H Loidl, S Bernard
Walter de Gruyter, 2014
“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
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
Visualising granularity in parallel programs: A graphical winnowing system for Haskell
K Hammond, HW Loidl, AS Partridge
HPFC 95, 208-221, 1995
Comparing high level mapreduce query languages
RJ Stewart, PW Trinder, HW Loidl
International Workshop on Advanced Parallel Processing Technologies, 58-72, 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
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
On the granularity of divide-and-conquer parallelism
HW Loidl, K Hammond
Proceedings of the 1995 Glasgow Workshop on Functional Programming, 1-10, 1995
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
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
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
Managing heterogeneity in a grid parallel Haskell
AD Al Zain, PW Trinder, G Michaelson, HW Loidl
Scalable Computing: Practice and Experience 7 (3), 2006
PACLIB User Manual
H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ...
The system can't perform the operation now. Try again later.
Articles 1–20