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
TitleCited byYear
Algorithm+ strategy= parallelism
PW Trinder, K Hammond, HW Loidl, SLP Jones
Journal of functional programming 8 (1), 23-60, 1998
3731998
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
1262010
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
1202003
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
972010
Parallel and distributed Haskells
PW Trinder, HW Loidl, RF Pointon
Journal of Functional Programming 12 (4-5), 469-510, 2002
932002
Granularity in large-scale parallel functional programming
HW Loidl
University of Glasgow, 1998
691998
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theoretical Computer Science 389 (3), 411-445, 2007
642007
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
602000
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
531999
“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
482009
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
452004
Comparing high level mapreduce query languages
RJ Stewart, PW Trinder, HW Loidl
International Workshop on Advanced Parallel Processing Technologies, 58-72, 2011
422011
On the Granularity of Divide-and-Conquer Parallelism.
HW Loidl, K Hammond
Functional Programming, 8, 1995
381995
Open (ing) Spaces: Design as Landscape Architecture
H Loidl, S Bernard
Walter de Gruyter, 2014
362014
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
312011
Trends in functional programming
H Nilsson
Intellect Books, 2007
312007
PACLIB User Manual
H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ...
291992
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
282002
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
252006
The system can't perform the operation now. Try again later.
Articles 1–20