| 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 | 2070* | 1992 |
| Haskell 98 language and libraries: the revised report SP Jones Cambridge University Press, 2003 | 1809 | 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 | 1711 | 2000 |
| Why functional programming matters J Hughes The computer journal 32 (2), 98-107, 1989 | 1530 | 1989 |
| Generalising monads to arrows J Hughes Science of computer programming 37 (1-3), 67-111, 2000 | 696 | 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 | 489 | 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 | 448 | 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 | 358 | 1982 |
| Projections for strictness analysis P Wadler, R Hughes Functional Programming Languages and Computer Architecture, 385-407, 1987 | 283 | 1987 |
| Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 279* | 1999 |
| 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 | 265 | 2006 |
| QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes Acm sigplan notices 46 (4), 53-64, 2011 | 264 | 2011 |
| 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 | 240 | 1996 |
| Lazy memo-functions J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985 | 197 | 1985 |
| A distributed garbage collection algorithm J Hughes Conference on Functional Programming Languages and Computer Architecture …, 1985 | 197 | 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 | 185 | 1999 |
| The design and implementation of programming languages RJM Hughes Ph. D. Thesis, Oxford University 130, 1983 | 181 | 1983 |
| Monads and effects N Benton, J Hughes, E Moggi International Summer School on Applied Semantics, 42-122, 2000 | 160 | 2000 |
| QuickCheck testing for fun and profit J Hughes International Symposium on Practical Aspects of Declarative Languages, 1-32, 2007 | 150 | 2007 |
| A novel representation of lists and its application to the function “reverse” RJM Hughes Information processing letters 22 (3), 141-144, 1986 | 149 | 1986 |
| Testing an optimising compiler by generating random lambda terms MH Pałka, K Claessen, A Russo, J Hughes Proceedings of the 6th International Workshop on Automation of Software Test …, 2011 | 131 | 2011 |
| A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008 | 128 | 2008 |
| Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006 | 124 | 2006 |
| Backwards analysis of functional programs J Hughes University of Glasgow. Department of Computing Science, 1987 | 123 | 1987 |
| QuickSpec: Guessing Formal Specifications Using Testing K Claessen, N Smallbone, J Hughes International Conference on Tests and Proofs, 6-21, 2010 | 103 | 2010 |
| Testing monadic code with QuickCheck K Claessen, J Hughes ACM SIGPLAN Notices 37 (12), 47-59, 2002 | 97 | 2002 |
| Finding race conditions in Erlang with QuickCheck and PULSE K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ... ACM Sigplan Notices 44 (9), 149-160, 2009 | 93 | 2009 |
| Programming with arrows J Hughes Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005 | 84 | 2005 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 79* | 2013 |
| Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 73 | 2015 |
| Strictness detection in non-flat domains J Hughes Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 1986 | 73 | 1986 |
| Expressing and reasoning about non-deterministic functional programs J Hughes, J O’Donnell Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 …, 1990 | 71 | 1990 |
| Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inference J Hughes Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005 | 67 | 2005 |
| Restricted data types in Haskell J Hughes Haskell Workshop 99, 1999 | 63 | 1999 |
| Beginner's luck: a language for property-based generators L Lampropoulos, D Gallois-Wong, C Hriţcu, J Hughes, BC Pierce, L Xia Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 60 | 2017 |
| Closing internal timing channels by transformation A Russo, J Hughes, D Naumann, A Sabelfeld Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007 | 60 | 2007 |
| Verifying Haskell programs using constructive type theory A Abel, M Benke, A Bove, J Hughes, U Norell Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, 62-73, 2005 | 58 | 2005 |
| Testing erlang data types with quviq quickcheck T Arts, LM Castro, J Hughes Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, 1-8, 2008 | 57 | 2008 |
| Making random judgments: Automatically generating well-typed terms from the definition of a type-system B Fetscher, K Claessen, M Pałka, J Hughes, RB Findler Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 55 | 2015 |
Simon Peyton JonesEpic GamesVerified email at epicgames.com
