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
3821998
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
1472010
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
1252003
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
1042010
Parallel and distributed Haskells
PW Trinder, HW Loidl, RF Pointon
Journal of Functional Programming 12 (4-5), 469-510, 2002
962002
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Elsevier 399 (3), 411-445, 2007
722007
Granularity in large-scale parallel functional programming
HW Loidl
ProQuest Dissertations & Theses,, 1998
701998
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
“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
572009
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
511999
Open (ing) Spaces: Design as Landscape Architecture
H Loidl, S Bernard
Walter de Gruyter, 2014
492014
Comparing high level mapreduce query languages
RJ Stewart, PW Trinder, HW Loidl
International Workshop on Advanced Parallel Processing Technologies, 58-72, 2011
462011
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
442004
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
┴JR Portillo, K Hammond, HW Loidl, P Vasconcelos
Symposium on Implementation and Application of Functional Languages, 232-247, 2002
312002
PACLIB User Manual
H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ...
301992
Managing heterogeneity in a grid parallel Haskell
AD Al Zain, PW Trinder, G Michaelson, HW Loidl
Scalable Computing: Practice and Experience 7 (3), 2006
262006
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
252013
The system can't perform the operation now. Try again later.
Articles 1–20