Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
John Hughes
Observed names:
Hughes, John,
J. Hughes,
JOHN HUGHES,
John M. Hughes
Institution:
Chalmers University of Technology
Observed institutions:
University of Oxford,
Quviq (Sweden),
Chalmers University of Technology,
University of Glasgow,
University of Gothenburg
ORCID:
0000-0001-8042-0969
Observed ORCID:
0000-0001-8042-0969
OpenAlex ID:
A5068339489
QuickCheck
2011
·
Koen Claessen
, John Hughes
·
ACM SIGPLAN Notices
·
1,035
Report on the programming language Haskell
1992
·
Paul Hudak
, Simon Peyton Jones
, et al.
·
ACM SIGPLAN Notices
·
1,030
PDF
QuickCheck
2000
·
Koen Claessen
, John Hughes
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
869
Why Functional Programming Matters
1989
·
J. Hughes
·
The Computer Journal
·
820
Generalising monads to arrows
2000
·
John Hughes
·
Science of Computer Programming
·
539
PDF
Proving the correctness of reactive systems using sized types
1996
·
John Hughes
, Lars Pareto
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
321
QuickCheck
2000
·
Koen Claessen
, John Hughes
·
ACM SIGPLAN Notices
·
287
PDF
A history of Haskell
2007
·
Paul Hudak
, John Hughes
, et al.
·
282
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.
1992
·
Paul Hudak
, Simon Jones
, et al.
·
ACM SIGPLAN Notices
·
281
Testing telecoms software with quviq QuickCheck
2006
·
Thomas Arts
, John Hughes
, et al.
·
ACM SIGPLAN Workshop on Erlang (Erlang)
·
199
The design of a pretty-printing library
1995
·
John Hughes
·
Lecture notes in computer science
·
136
Testing an optimising compiler by generating random lambda terms
2011
·
Michał H. Pałka
, Koen Claessen
, et al.
·
International Workshop on Automation of Software Test (AST)
·
131
Recursion and dynamic data-structures in bounded space
1999
·
John Hughes
, Lars Pareto
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
123
Lazy memo-functions
1985
·
John Hughes
·
Lecture notes in computer science
·
118
QuickCheck Testing for Fun and Profit
2006
·
John Hughes
·
Lecture notes in computer science
·
109
A distributed garbage collection algorithm
1985
·
John Hughes
·
Lecture notes in computer science
·
94
A library for light-weight information-flow security in haskell
2008
·
Alejandro Russo
, Koen Claessen
, et al.
·
International Symposium on Haskell
·
91
Monads and Effects
2002
·
Nick Benton
, John Hughes
, et al.
·
Lecture notes in computer science
·
84
Fast and loose reasoning is morally correct
2006
·
Nils Anders Danielsson
, John Hughes
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
82
Proceedings of the 9th annual symposium on Computer Architecture
1982
·
Steve Szygenda
, John Hughes
, et al.
·
81
Finding race conditions in Erlang with QuickCheck and PULSE
2009
·
Koen Claessen
, Michal Palka
, et al.
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
74
QuickSpec: Guessing Formal Specifications Using Testing
2010
·
Koen Claessen
, Nicholas Smallbone
, et al.
·
Lecture notes in computer science
·
64
Testing AUTOSAR software with QuickCheck
2015
·
Thomas Arts
, John Hughes
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
·
60
Beginner's luck: a language for property-based generators
2016
·
Leonidas Lampropoulos
, Diane Gallois-Wong
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
55
PDF
Programming with Arrows
2005
·
John Hughes
·
Lecture notes in computer science
·
55
Show more works
View as search
Works count:
130
Citation count:
8,319
H-index:
37
I10-index:
69
Year
Topic
Type
