Lazy Memo-functions. - John Hughes 001 (FPCA, 1985)

A Distributed Garbage Collection Algorithm. - John Hughes 001 (FPCA, 1985)

A Novel Representation of Lists and its Application to the Function "reverse". - R. John M. Hughes (Inf. Process. Lett., 1986)

Implementing Functional Databases. - Guy Argo; John Hughes 001; Philip W. Trinder; Jon Fairbairn; John Launchbury (DBPL, 1987)

Projections for Polymorphic Strictness Analysis. - John Hughes 001 (Category Theory and Computer Science, 1989)

Abstract Interpretation of Polymorphic Functions. - Gebreselassie Baraki; John Hughes 001 (Functional Programming, 1989)

An Iterative Powerdomain Construction. - Alex Ferguson; R. John M. Hughes (Functional Programming, 1989)

Expressing and Reasoning About Non-Deterministic Functional Programs. - John Hughes 001; John O'Donnell 001 (Functional Programming, 1989)

Why Functional Programming Matters. - John Hughes 001 (Comput. J., 1989)

Towards Binding-Time Improvement for Free. - Carsten Kehler Holst; John Hughes 001 (Functional Programming, 1990)

Towards Relating Forwards and Backwards Analyses. - John Hughes 001; John Launchbury (Functional Programming, 1990)

A Loop-Detecting Interpreter for Lazy Programs. - Carsten Kehler Holst; John Hughes 001 (Functional Programming, 1991)

Implementing Projection-based Strictness Analysis. - Ryszard Kubiak; John Hughes 001; John Launchbury (Functional Programming, 1991)

Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). - Alex Ferguson; John Hughes 001 (Functional Programming, 1992)

A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. - John Hughes 001; Alex Ferguson (Functional Programming, 1992)

A Semantics for Locally Bottom-Avoiding Choice. - John Hughes 001; Andrew Moran (Functional Programming, 1992)

Avoiding Unnecessary Updates. - John Launchbury; Andy Gill; John Hughes 001; Simon Marlow; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

Pretty-printing: An Exercise in Functional Programming. - John Hughes 001 (MPC, 1992)

Relational Reversal of Abstract Interpretation. - John Hughes 001; John Launchbury (J. Log. Comput., 1992)

Projections for Polymorphic First-Order Strictness Analysis. - John Hughes 001; John Launchbury (Math. Struct. Comput. Sci., 1992)

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. - Paul Hudak; Simon L. Peyton Jones; Philip Wadler; Brian Boutel; Jon Fairbairn; Joseph H. Fasel; María M. Guzmán; Kevin Hammond; John Hughes 001; Thomas Johnsson; Richard B. Kieburtz; Rishiyur S. Nikhil; et al. (ACM SIGPLAN Notices, 1992)

Fast Abstract Interpretation Using Sequential Algorithms. - Alex Ferguson; John Hughes 001 (WSA, 1993)

How to Give a Good Research Talk. - Simon L. Peyton Jones; John Hughes 001; John Launchbury (ACM SIGPLAN Notices, 1993)

Reversing Abstract Interpretations. - John Hughes 001; John Launchbury (Sci. Comput. Program., 1994)

The Design of a Pretty-printing Library. - John Hughes 001 (Advanced Functional Programming, 1995)

Making Choices Lazily. - John Hughes 001; Andrew Moran (FPCA, 1995)

Proving the Correctness of Reactive Systems Using Sized Types. - John Hughes 001; Lars Pareto; Amr Sabry (POPL, 1996)

Partial Evaluation and Separate Compilation. - Rogardt Heldal; John Hughes 001 (PEPM, 1997)

Module-Sensitive Program Specialisation. - Dirk Dussart; Rogardt Heldal; John Hughes 001 (PLDI, 1997)

Generalising Monads (Abstract). - John Hughes 001 (MPC, 1998)

A Type Specialisation Tutorial. - John Hughes 001 (Partial Evaluation, 1998)

Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. - John Hughes 001; Lars Pareto (ICFP, 1999)

Monads and Effects. - Nick Benton; John Hughes 001; Eugenio Moggi (APPSEM, 2000)

The Correctness of Type Specialisation. - John Hughes 001 (ESOP, 2000)

QuickCheck: a lightweight tool for random testing of Haskell programs. - Koen Claessen; John Hughes 001 (ICFP, 2000)

Generalising monads to arrows. - John Hughes 001 (Sci. Comput. Program., 2000)

Extending a partial evaluator which supports separate compilation. - Rogardt Heldal; John Hughes 001 (Theor. Comput. Sci., 2000)

Binding-Time Analysis for Polymorphic Types. - Rogardt Heldal; John Hughes 001 (Ershov Memorial Conference, 2001)

Tag Elimination and Jones-Optimality. - Walid Taha; Henning Makholm; John Hughes 001 (PADO, 2001)

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. - Koen Claessen; Colin Runciman; Olaf Chitil; John Hughes 001; Malcolm Wallace (Advanced Functional Programming, 2002)

Testing monadic code with QuickCheck. - Koen Claessen; John Hughes 001 (ACM SIGPLAN Notices, 2002)

Polish parsers, step by step. - R. John M. Hughes; S. Doaitse Swierstra (ICFP, 2003)

Programming with Arrows. - John Hughes 001 (Advanced Functional Programming, 2004)

04381 Abstracts Collection - Dependently Typed Programming. - Thorsten Altenkirch; Martin Hofmann 001; John Hughes 001 (Dependently Typed Programming, 2004)

Global variables in Haskell. - John Hughes 001 (J. Funct. Program., 2004)

Verifying haskell programs using constructive type theory. - Andreas Abel 001; Marcin Benke; Ana Bove; John Hughes 001; Ulf Norell (Haskell, 2005)

Closing Internal Timing Channels by Transformation. - Alejandro Russo; John Hughes 001; David A. Naumann; Andrei Sabelfeld (ASIAN, 2006)

Testing telecoms software with quviq QuickCheck. - Thomas Arts; John Hughes 001; Joakim Johansson; Ulf T. Wiger (Erlang Workshop, 2006)

Fast and loose reasoning is morally correct. - Nils Anders Danielsson; John Hughes 001; Patrik Jansson; Jeremy Gibbons (POPL, 2006)

A Library for Secure Multi-threaded Information Flow in Haskell. - Ta-Chung Tsai; Alejandro Russo; John Hughes 001 (CSF, 2007)

A history of Haskell: being lazy with class. - Paul Hudak; John Hughes 001; Simon L. Peyton Jones; Philip Wadler (HOPL, 2007)

QuickCheck Testing for Fun and Profit. - John Hughes 001 (PADL, 2007)

Testing Erlang data types with quviq quickcheck. - Thomas Arts; Laura M. Castro; John Hughes 001 (Erlang Workshop, 2008)

A library for light-weight information-flow security in haskell. - Alejandro Russo; Koen Claessen; John Hughes 001 (Haskell, 2008)

Experiences from teaching functional programming at Chalmers. - John Hughes 001 (ACM SIGPLAN Notices, 2008)

Software Testing with QuickCheck. - John Hughes 001 (CEFP, 2009)

Property-Based Testing - The ProTest Project. - John Derrick; Neil Walkinshaw; Thomas Arts; Clara Benac Earle; Francesco Cesarini; Lars-Åke Fredlund; Víctor M. Gulías; John Hughes 001; Simon J. Thompson (FMCO, 2009)

Finding race conditions in Erlang with QuickCheck and PULSE. - Koen Claessen; Michal H. Palka; Nicholas Smallbone; John Hughes 001; Hans Svensson; Thomas Arts; Ulf T. Wiger (ICFP, 2009)

Ranking programs using black box testing. - Koen Claessen; John Hughes 001; Michal H. Palka; Nicholas Smallbone; Hans Svensson (AST, 2010)

Using temporal relations to specify and test an instant messaging server. - John Hughes 001; Ulf Norell; Jérôme Sautret (AST, 2010)

QuickSpec: Guessing Formal Specifications Using Testing. - Koen Claessen; Nicholas Smallbone; John Hughes 001 (TAP@TOOLS, 2010)

Accelerating race condition detection through procrastination. - Thomas Arts; John Hughes 001; Ulf Norell; Nicholas Smallbone; Hans Svensson (Erlang Workshop, 2011)

Testing a database for race conditions with QuickCheck. - R. John M. Hughes; Hans Bolinder (Erlang Workshop, 2011)

Testing an optimising compiler by generating random lambda terms. - Michal H. Palka; Koen Claessen; Alejandro Russo; John Hughes 001 (AST, 2011)

Testing noninterference, quickly. - Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Antal Spector-Zabusky; Dimitrios Vytiniotis; Arthur Azevedo de Amorim; Leonidas Lampropoulos (ICFP, 2013)

An Expressive Semantics of Mocking. - Josef Svenningsson; Hans Svensson; Nicholas Smallbone; Thomas Arts; Ulf Norell; John Hughes 001 (FASE, 2014)

Toward a mature industrial practice of software test automation. - Hong Zhu 002; Daniel Hoffman; John Hughes 001; Dianxiang Xu (Softw. Qual. J., 2014)

Linking unit tests and properties. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Meng Wang 002 (Erlang Workshop, 2015)

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. - Burke Fetscher; Koen Claessen; Michal H. Palka; John Hughes 001; Robert Bruce Findler (ESOP, 2015)

Graphical editing support for QuickCheck models. - Thomas Arts; Kirill Bogdanov 002; Alex Gerdes; John Hughes 001 (ICST Workshops, 2015)

Testing AUTOSAR software with QuickCheck. - Thomas Arts; John Hughes 001; Ulf Norell; Hans Svensson (ICST Workshops, 2015)

Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. - John Hughes 001 (A List of Successes That Can Change the World, 2016)

Find more bugs with QuickCheck! - John Hughes 001; Ulf Norell; Nicholas Smallbone; Thomas Arts (AST@ICSE, 2016)

How Well are Your Requirements Tested? - Thomas Arts; John Hughes 001 (ICST, 2016)

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. - John Hughes 001; Benjamin C. Pierce; Thomas Arts; Ulf Norell (ICST, 2016)

Automatic Grading of Programming Exercises using Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; John Hughes 001 (ITiCSE, 2016)

Testing noninterference, quickly. - Catalin Hritcu; Leonidas Lampropoulos; Antal Spector-Zabusky; Arthur Azevedo de Amorim; Maxime Dénès; John Hughes 001; Benjamin C. Pierce; Dimitrios Vytiniotis (J. Funct. Program., 2016)

Beginner's luck: a language for property-based generators. - Leonidas Lampropoulos; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Li-yao Xia (POPL, 2017)

Modelling of Autosar Libraries for Large Scale Testing. - Wojciech Mostowski; Thomas Arts; John Hughes 001 (MARS@ETAPS, 2017)

Understanding formal specifications through good examples. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Stefan Hanenberg; Sebastian Ivarsson; Meng Wang 002 (Erlang Workshop, 2018)

Typing the wild in Erlang. - Nachiappan Valliappan; John Hughes 001 (Erlang Workshop, 2018)

Branching processes for QuickCheck generators. - Agustín Mista; Alejandro Russo; John Hughes 001 (Haskell@ICFP, 2018)

Special issue on Parallel and distributed computing based on the functional programming paradigm. - Wojciech Turek; Aleksander Byrski; John Hughes 001; Kevin Hammond; Marek Zaionc (Concurr. Comput. Pract. Exp., 2018)

Special section on functional paradigm for high performance computing. - Aleksander Byrski; Katarzyna Rycerz; John Hughes 001; Kevin Hammond (Future Gener. Comput. Syst., 2018)

How to Specify It! - A Guide to Writing Properties of Pure Functions. - John Hughes 001 (TFP, 2019)

Luck: A Probabilistic Language for Testing. - Leonidas Lampropoulos; Benjamin C. Pierce; Li-yao Xia; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001 (Foundations of Probabilistic Programming, 2020)

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. - Harrison Goldstein; John Hughes 001; Leonidas Lampropoulos; Benjamin C. Pierce (ESOP, 2021)

Exploring API behaviours through generated examples. - Stefan Karlsson; John Hughes 001; Robbert Jongeling; Adnan Causevic; Daniel Sundmark (Softw. Qual. J., 2024)