Follow
John Hughes
John Hughes
Professor of Computer Science and Engineering, Chalmers University
Verified email at chalmers.se
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
17952003
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
15872000
Why functional programming matters
J Hughes
The computer journal 32 (2), 98-107, 1989
14841989
Generalising monads to arrows
J Hughes
Science of computer programming 37 (1-3), 67-111, 2000
6712000
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
4782007
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
4371996
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
3141982
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
2721987
QuickCheck: a lightweight tool for random testing of Haskell programs
K Claessen, J Hughes
Acm sigplan notices 46 (4), 53-64, 2011
2512011
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
2512006
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
2361996
Lazy memo-functions
J Hughes
Functional Programming Languages and Computer Architecture: Nancy, France …, 1985
1931985
A distributed garbage collection algorithm
J Hughes
Functional Programming Languages and Computer Architecture: Nancy, France …, 1985
1911985
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
1831999
The design and implementation of programming languages
RJM Hughes
Ph. D. Thesis, Oxford University 130, 1983
1831983
Monads and effects
N Benton, J Hughes, E Moggi
Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002
1612002
A novel representation of lists and its application to the function “reverse”
RJM Hughes
Information processing letters 22 (3), 141-144, 1986
1441986
The system can't perform the operation now. Try again later.
Articles 1–20