John Hughes

发表

Integrating the internet

John Hughes, 2003 .

Functional Programming Languages and Computer Architecture

John Hughes, 1991 .

QuickCheck: a lightweight tool for random testing of Haskell programs

Koen Claessen, John Hughes, 2011, SIGP.

Feature: Enabling E-Commerce Through PKI

John Hughes, 2000 .

COMPSEC '95 paper abstracts: Auditing and accounting: Usage and requirements

John Hughes, 1995 .

Integrating uncertainty management with an automated decision support tool

John Hughes, Nicola Ayre, 1993 .