John Hughes

Cited by

	All	Since 2018
Citations	14728	2600
h-index	46	24
i10-index	94	40

660

330

165

495

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202370 55 87 93 179 234 265 310 323 226 275 333 294 329 339 309 386 420 551 500 607 582 651 614 535 573 578 518 535 488 582 553 592 455 413 420 166

Public access

View all

6 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 IOHKVerified email at inf.ed.ac.uk
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
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
Will PartainVerified email at parple.org
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
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
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Hans SvenssonQuviq ABVerified email at quviq.com
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org

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	2048*	1992
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1795	2003
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	1587	2000
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1484	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	671	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	478	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	437	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	314	1982
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	280*	1999
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	272	1987
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Acm sigplan notices 46 (4), 53-64, 2011	251	2011
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	251	2006
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	241*	1995
Programming language syntax and semantics DA Watt Prentice Hall PTR, 1996	236	1996
Lazy memo-functions J Hughes Functional Programming Languages and Computer Architecture: Nancy, France …, 1985	193	1985
A distributed garbage collection algorithm J Hughes Functional Programming Languages and Computer Architecture: Nancy, France …, 1985	191	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	183	1999
The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983	183	1983
Monads and effects N Benton, J Hughes, E Moggi Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002	161	2002
A novel representation of lists and its application to the function “reverse” RJM Hughes Information processing letters 22 (3), 141-144, 1986	144	1986

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