Kevin Hammond

Cited by

	All	Since 2019
Citations	7444	852
h-index	35	15
i10-index	110	21

360

180

270

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 56 84 155 192 235 187 234 298 246 249 214 239 242 192 233 217 342 246 333 289 263 260 257 227 266 226 203 242 211 172 162 142 139 26

Public access

View all

20 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
Will PartainVerified email at parple.org
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
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
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	1467	1992
Algorithm+ strategy= parallelism PW Trinder, K Hammond, HW Loidl, SLP Jones Journal of functional programming 8 (1), 23-60, 1998	392	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	352	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	346	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	284	1996
Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...	245	1999
Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	185	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	184	2010
Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003	181	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	132	2003
Type classes in Haskell C Hall, K Hammond, SP Jones, P Wadler Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994	110	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	98	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	92	1992
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	88	1996
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	87	1999
Learning spatiotemporal T-junctions for occlusion detection N Apostoloff, A Fitzgibbon 2005 IEEE Computer Society Conference on Computer Vision and Pattern …, 2005	82	2005
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	78	1999
Parallel Functional Programming: An Introduction. K Hammond PASCO 94, 181-193, 1994	71	1994

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