John Hughes

Cited by

	All	Since 2019
Citations	15481	2690
h-index	47	24
i10-index	99	39

700

350

175

525

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202467 59 89 111 188 245 291 316 336 244 282 339 296 339 342 322 372 426 525 473 621 586 686 608 543 554 562 514 547 492 560 554 596 470 409 432 424 359

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Simon Peyton JonesEpic GamesVerified email at epicgames.com
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Alastair ReidSenior Principal EngineerVerified email at intel.com
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Will PartainVerified email at parple.org
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Hans SvenssonQuviq ABVerified email at quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Nick BentonEngineering Manager, FacebookVerified email at fb.com

John Hughes

Professor of Computer Science and Engineering, Chalmers University

Verified email at chalmers.se

Functional programming programming languages software testing random testing property-based testing


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	2073*	1992
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000	2041*	2000
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1824	2003
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1560	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	706	2000
A history of Haskell: being lazy with class P Hudak, J Hughes, S Peyton Jones, P Wadler Proceedings of the third ACM SIGPLAN conference on History of programming …, 2007	505	2007
Proving the correctness of reactive systems using sized types J Hughes, L Pareto, A Sabry Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996	452	1996
Super-combinators a new implementation method for applicative languages RJM Hughes Proceedings of the 1982 ACM symposium on LISP and functional programming, 1-10, 1982	333	1982
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	288	1987
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	281*	1999
Testing telecoms software with Quviq QuickCheck T Arts, J Hughes, J Johansson, U Wiger Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2-10, 2006	279	2006
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	245*	1995
Programming language syntax and semantics DA Watt Prentice Hall PTR, 1996	241	1996
Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	197	1985
A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	197	1985
Recursion and dynamic data-structures in bounded space: Towards embedded ML programming J Hughes, L Pareto Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999	187	1999
The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983	182	1983
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	162	2000
A novel representation of lists and its application to the function “reverse” RJM Hughes Information processing letters 22 (3), 141-144, 1986	156	1986
QuickCheck testing for fun and profit J Hughes International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007	155	2007

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