Kevin Hammond

Cited by

	All	Since 2019
Citations	7563	940
h-index	35	16
i10-index	113	24

360

180

270

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 57 82 152 188 236 187 233 300 245 257 216 245 246 201 241 218 344 247 335 292 263 262 250 231 264 226 199 245 213 176 162 146 138 104

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Simon Peyton JonesEpic GamesVerified email at epicgames.com
Hans-Wolfgang LoidlHeriot-Watt UniversityVerified email at hw.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Christopher BrownLecturer in Computer Science at University of St AndrewsVerified email at st-andrews.ac.uk
Alastair ReidSenior Principal EngineerVerified email at intel.com
Steffen JostAkademischer Rat, Theoretical Computer Science, LMU MünchenVerified email at tcs.ifi.lmu.de
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Will PartainVerified email at parple.org
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Vladimir JanjicUniversity of Dundee, School of Science and EngineeringVerified email at dundee.ac.uk
Pedro VasconcelosFaculty of Science, University of PortoVerified email at g.uporto.pt
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaVerified email at unipi.it
Adam D. BarwellImperial College LondonVerified email at imperial.ac.uk

Kevin Hammond

Head of Software Engineering (Cardano Core), IOG

Verified email at iohk.io - Homepage

Programming Languages Parallel Computing Blockchain Static Analysis Performance


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1465	1992
Algorithm+ strategy= parallelism PW Trinder, K Hammond, HW Loidl, SLP Jones Journal of functional programming 8 (1), 23-60, 1998	397	1998
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	357	1996
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	349	1993
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	285	1996
Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...	249	1999
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	188	2010
Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	186	1999
Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003	183	2003
Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012	164	2012
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	134	2003
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, 203-251, 2003	131	2003
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	112	1999
Type classes in Haskell C Hall, K Hammond, SP Jones, P Wadler Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994	108	1994
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	100	1996
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	91	1992
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	87	1999
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	86	1996
Metaheuristics “in the large” J Swan, S Adriaensen, AEI Brownlee, K Hammond, CG Johnson, A Kheiri, ... European Journal of Operational Research 297 (2), 393-406, 2022	85	2022
Learning spatiotemporal T-junctions for occlusion detection N Apostoloff, A Fitzgibbon 2005 IEEE Computer Society Conference on Computer Vision and Pattern …, 2005	81	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors