Kevin Hammond

Citado por

	Total	Desde 2017
Citas	7360	1117
Índice h	36	17
Índice i10	114	31

340

170

255

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202223 51 80 152 180 229 201 248 301 259 254 213 244 231 191 224 227 327 250 336 307 268 270 278 258 265 236 228 263 209 186 151 79

Acceso público

Ver todo

19 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghDirección de correo verificada de macs.hw.ac.uk
Phil TrinderProfessor of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKDirección de correo verificada de inf.ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityDirección de correo verificada de hw.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityDirección de correo verificada de yale.edu
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityDirección de correo verificada de chalmers.se
Christopher BrownLecturer in Computer Science at University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Alastair ReidStaff Research ScientistDirección de correo verificada de google.com
Will PartainDirección de correo verificada de parple.org
Mark P. JonesProfessor of Computer Science, Portland State UniversityDirección de correo verificada de pdx.edu
Steffen JostAkademischer Rat, Theoretical Computer Science, LMU MünchenDirección de correo verificada de tcs.ifi.lmu.de
Erik MeijerMicrosoftDirección de correo verificada de meijcrosoft.com
Edwin BradyReader, School of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternDirección de correo verificada de cs.uni-kl.de
Colin RuncimanProfessor of Computer Science, University of York, UKDirección de correo verificada de york.ac.uk
John LaunchburyChief Scientist, GaloisDirección de correo verificada de galois.com
Vladimir JanjicUniversity of Dundee, School of Science and EngineeringDirección de correo verificada de dundee.ac.uk
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaDirección de correo verificada de unipi.it
Andrew D GordonMicrosoft Research and University of EdinburghDirección de correo verificada de microsoft.com
Jost BertholdDepartment of Computer Science, University of CopenhagenDirección de correo verificada de diku.edu

Seguir

Kevin Hammond

Technology Manager, IOHK

Dirección de correo verificada de iohk.io - Página principal

Programming Languages Parallel Computing Blockchain Static Analysis Performance


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1403	1992
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	1403	1992
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	1245	1992
Algorithm+ strategy= parallelism PW Trinder, K Hammond, HW Loidl, SLP Jones Journal of functional programming 8 (1), 23-60, 1998	378	1998
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	336	1993
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	336	1993
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	321	1996
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	273	1996
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	235	1999
Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	183	1999
A randomized controlled trial of cognitive-behavior therapy for persistent symptoms in schizophrenia: a five-year follow-up D Turkington, T Sensky, J Scott, TRE Barnes, U Nur, R Siddle, ... Schizophrenia research 98 (1-3), 1-7, 2008	181	2008
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	173	2010
Hume: a domain-specific language for real-time embedded systems K Hammond, G Michaelson International Conference on Generative Programming and Component Engineering …, 2003	170	2003
Research directions in parallel functional programming K Hammond, G Michaelson Springer Science & Business Media, 2012	156	2012
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	129	2003
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	126	2003
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	105	1992
Type classes in Haskell C Hall, K Hammond, SP Jones, P Wadler European Symposium On Programming, 241-256, 1994	104	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	96	1996
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	87	1999

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores