John Hughes

Cited by

	All	Since 2017
Citations	14348	2673
h-index	43	27
i10-index	94	39

700

350

175

525

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202243 70 55 78 109 184 234 279 317 345 255 278 342 306 343 329 326 360 438 501 509 609 598 683 616 548 556 569 508 538 488 581 545 579 458 403 107

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

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 ReidStaff Research ScientistVerified email at google.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
Mark P. JonesProfessor of Computer Science, Portland State UniversityVerified email at pdx.edu
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
Nick BentonEngineering Manager, FacebookVerified email at fb.com
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	2011*	1992
Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003	1751	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	1463	2000
Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989	1421	1989
Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000	646	2000
Programming language concepts and paradigms DA Watt, W Findlay, J Hughes Prentice Hall, 1990	497*	1990
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	458	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	424	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	303	1982
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...	275*	1999
Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987	259	1987
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	236	2006
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Acm sigplan notices 46 (4), 53-64, 2011	235	2011
The Design of a Pretty-printing Library. Jeuring, J., & Meijer, E.(eds), Advanced functional programming. LNCS, vol. 925 J Hughes Springer Verlag, 1995	230*	1995
Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	183	1985
A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985	183	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	180	1999
The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983	176	1983
Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000	155	2000
QuickCheck testing for fun and profit J Hughes International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007	136	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 this author

Cited by

Co-authors