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