Kevin Hammond
Kevin Hammond
University of St Andrews
Verified email at kevinhammond.net
TitleCited byYear
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
13701992
Algorithm+ strategy= parallelism
PW Trinder, K Hammond, HW Loidl, SLP Jones
Journal of functional programming 8 (1), 23-60, 1998
3731998
The Glasgow Haskell compiler: a technical overview
SLP Jones, C Hall, K Hammond, W Partain, P Wadler
Proc. UK Joint Framework for Information Technology (JFIT) Technical …, 1993
3021993
Type classes in Haskell
CV Hall, K Hammond, SL Peyton Jones, PL Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 109-138, 1996
2761996
GUM: a portable parallel implementation of Haskell
PW Trinder, K Hammond, JS Mattson Jr, AS Partridge, SL Peyton Jones
ACM SIGPLAN Notices 31 (5), 79-88, 1996
2711996
Haskell 98—A Non− strict ‚Purely Functional Language
P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ...
Available from http://www. haskell. org/definition/, 1999
2321999
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1731999
Hume: a domain-specific language for real-time embedded systems
K Hammond, G Michaelson
International Conference on Generative Programming and Component Engineering …, 2003
1592003
Research directions in parallel functional programming
K Hammond, G Michaelson
Springer Science & Business Media, 2012
1462012
Report on the functional programming language Haskell
P Hudak
YALEU/DCS/RR656, 1988
1321988
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
Inferring cost equations for recursive, polymorphic and higher-order functional programs
PB Vasconcelos, K Hammond
Symposium on Implementation and Application of Functional Languages, 86-101, 2003
1072003
Type classes in Haskell
C Hall, K Hammond, SP Jones, P Wadler
European Symposium On Programming, 241-256, 1994
1001994
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
PH Hartel, M Feeley, M Alt, L Augustsson, P Baumann, M Beemster, ...
Journal of functional programming 6 (4), 621-655, 1996
951996
Report on the functional programming language Haskell, version 1.2
P Hudak, SP Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, MM Gusmán, ...
SIGPLAN Notices 27 (5), 2, 1992
901992
Report on the programming language Haskell, a non-strict purely-functional programming language
J Peterson, K Hammond
Version 1.3. Technical report, Yale University, 1996
881996
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
801999
Parallel functional programming: An introduction
K Hammond
Proc. PASCO 94, 181-193, 1994
731994
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
671999
The system can't perform the operation now. Try again later.
Articles 1–20