Concepedia

Author

John Hughes

Chalmers University of TechnologyORCID

Also Known As

Hughes John, Hughes, John, Hughes, John M, J. Hughes, JOHN HUGHES, Jean-Yves ; Lacoste, John Hughes, John M Hughes, John M. Hughes

178

Publications

8K

Citations

37

H-Index

93

Concepts

All Affiliations

Chalmers University of TechnologyQuviq (Sweden)University of GlasgowUniversity of Oxford
JH

About

John Hughes is an author at Chalmers University of Technology specializing in engineering, computer science, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

26

42

6.4K

2

Language Studies

7

7

198

3

Business

2

2

36

4

Education

2

2

34

5

Humanities

1

1

1K

John Hughes

×

48

Publications

6.6K

Citations

28

H-Index

YearCitations

Report on the programming language Haskell

Paul Hudak, Simon Peyton Jones, Philip Wadler,

ACM SIGPLAN Notices

1992

1K

QuickCheck

Koen Claessen, John Hughes

ACM SIGPLAN Notices

2011

1K

Why Functional Programming Matters

John Hughes

The Computer Journal

1989

733

QuickCheck

Koen Claessen, John Hughes

2000

704

Generalising monads to arrows

John Hughes

Science of Computer Programming

2000

514

Proving the correctness of reactive systems using sized types

John Hughes, Lars Pareto, Amr Sabry

1996

310

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

Paul Hudak, Simon Jones, Philip Wadler,

ACM SIGPLAN Notices

1992

281

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones,

2007

257

QuickCheck

Koen Claessen, John Hughes

ACM SIGPLAN Notices

2000

217

Testing telecoms software with quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson,

2006

182

Page 1