John Hughes Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger: Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160
2008
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Arts, Laura M. Castro, John Hughes: Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandro Russo, Koen Claessen, John Hughes: A library for light-weight information-flow security in haskell. Haskell 2008: 13-24
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Experiences from teaching functional programming at Chalmers. SIGPLAN Notices 43(11): 77-80 (2008)
2007
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTa-Chung Tsai, Alejandro Russo, John Hughes: A Library for Secure Multi-threaded Information Flow in Haskell. CSF 2007: 187-202
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler: A history of Haskell: being lazy with class. HOPL 2007: 1-55
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: QuickCheck Testing for Fun and Profit. PADL 2007: 1-32
2006
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Arts, John Hughes, Joakim Johansson, Ulf Wiger: Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
2005
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73
2004
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Programming with Arrows. Advanced Functional Programming 2004: 73-129
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Global variables in Haskell. J. Funct. Program. 14(5): 489-502 (2004)
2002
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRex L. Page, John Hughes: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002 ACM 2002
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo E. Martínez López, John Hughes: Principal type specialisation. ASIA-PEPM 2002: 94-105
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace: Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Andrew D. McGettrick, Ellen Francine Barbosa, Jens Kaasbøll, Vinícius Medina Kern, Ana Paula Lüdtke Ferreira, Esselina Macome, Joberto Martins, Clara Amélia de Oliveira, Alfonso Ignacio Orth, R. Sadananda, Elaine da Silva, Romero Tori: Directions and Challenges in Informatics Education. Informatics Curricula and Teaching Methods 2002: 115-123
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. K. Serour, Brian Henderson-Sellers, John Hughes, D. Winder, L. Chow: Organizational Transition to Object Technology: Theory and Practice. OOIS 2002: 229-241
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen Claessen, John Hughes: Testing monadic code with QuickCheck. SIGPLAN Notices 37(12): 47-59 (2002)
2001
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogardt Heldal, John Hughes: Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference 2001: 191-204
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Taha, Henning Makholm, John Hughes: Tag Elimination and Jones-Optimality. PADO 2001: 257-275
2000
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, John Hughes, Eugenio Moggi: Monads and Effects. APPSEM 2000: 42-122
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: The Correctness of Type Specialisation. ESOP 2000: 215-229
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen Claessen, John Hughes: QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Generalising monads to arrows. Sci. Comput. Program. 37(1-3): 67-111 (2000)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogardt Heldal, John Hughes: Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. 248(1-2): 99-145 (2000)
1999
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: The Realities of PKI Inter-operability. CQRE 1999: 127-132
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Lars Pareto: Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP 1999: 70-81
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Certificate inter-operability - white paper. Computers & Security 18(3): 221-230 (1999)
1998
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Generalising Monads (Abstract). MPC 1998: 6
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: A Type Specialisation Tutorial. Partial Evaluation 1998: 293-325
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Type Specialization. ACM Comput. Surv. 30(3es): 14 (1998)
1997
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Dussart, John Hughes, Peter Thiemann: Type Specialization for Imperative Languages. ICFP 1997: 204-216
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogardt Heldal, John Hughes: Partial Evaluation and Separate Compilation. PEPM 1997: 1-11
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Dussart, Rogardt Heldal, John Hughes: Module-Sensitive Program Specialisation. PLDI 1997: 206-214
1996
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. Dagstuhl Seminar on Partial Evaluation 1996: 183-215
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Lars Pareto, Amr Sabry: Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423
1995
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: The Design of a Pretty-printing Library. Advanced Functional Programming 1995: 53-96
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Andrew Moran: Making Choices Lazily. FPCA 1995: 108-119
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Clive Souter, Eric Atwell: Automatic Extraction of Tagset Mappings from Parallel-Annotated Corpora CoRR abs/cmp-lg/9506006: (1995)
1994
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Eric Atwell: The Automated Evaluation of Inferred Word Classifications. ECAI 1994: 535-539
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, John Launchbury: Reversing Abstract Interpretations. Sci. Comput. Program. 22(3): 307-326 (1994)
1993
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon McFall, Gillian Sleith, John Hughes: Reverse Engineering Structured Code to an Object-Oriented Representation. SEKE 1993: 86-93
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Ferguson, John Hughes: Fast Abstract Interpretation Using Sequential Algorithms. WSA 1993: 45-59
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon L. Peyton Jones, John Hughes, John Launchbury: How to Give a Good Research Talk. SIGPLAN Notices 28(11): 9-12 (1993)
1992
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, John Launchbury: Reversing Abstract Interpretations. ESOP 1992: 269-286
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Andrew Moran: A Semantics for Locally Bottom-Avoiding Choice. Functional Programming 1992: 102-112
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Ferguson, John Hughes: Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Functional Programming 1992: 57-61
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, Alex Ferguson: A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Functional Programming 1992: 85-101
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Pretty-printing: An Exercise in Functional Programming. MPC 1992: 11-13
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, John Launchbury: Relational Reversal of Abstract Interpretation. J. Log. Comput. 2(4): 465-482 (1992)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, John Launchbury: Projections for Polymorphic First-Order Strictness Analysis. Mathematical Structures in Computer Science 2(3): 301-326 (1992)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson: Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. SIGPLAN Notices 27(5): 1- (1992)
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings Springer 1991
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Kehler Holst, John Hughes: A Loop-Detecting Interpreter for Lazy Programs. Functional Programming 1991: 164-176
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. Functional Programming 1991: 207-224
1990
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKei Davis, John Hughes: Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK Springer 1990
1989
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Projections for Polymorphic Strictness Analysis. Category Theory and Computer Science 1989: 82-100
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes, John O'Donnell: Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming 1989: 308-328
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGebreselassie Baraki, John Hughes: Abstract Interpretation of Polymorphic Functions. Functional Programming 1989: 31-40
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Ferguson, John Hughes: An Iterative Powerdomain Construction. Functional Programming 1989: 41-55
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Why Functional Programming Matters. Comput. J. 32(2): 98-107 (1989)
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury: Implementing Functional Databases. DBPL 1987: 165-176
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard S. Bird, John Hughes: The alpha-beta Algorithm: An Exercise in Program Transformation. Inf. Process. Lett. 24(1): 53-57 (1987)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: A Novel Representation of Lists and its Application to the Function "reverse". Inf. Process. Lett. 22(3): 141-144 (1986)
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Lazy Memo-functions. FPCA 1985: 129-146
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: A Distributed Garbage Collection Algorithm. FPCA 1985: 256-271
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hughes: Strictness detection in non-flat domains. Programs as Data Objects 1985: 112-135

Coauthor Index

1Andreas Abel [59]
2Guy Argo [6]
3Thomas Arts [61] [68] [69]
4Eric Atwell [29] [30]
5Gebreselassie Baraki [9]
6Ellen Francine Barbosa [53]
7Marcin Benke [59]
8Nick Benton (P. N. Benton) [48]
9Richard S. Bird [5]
10Brian Boutel [16]
11Ana Bove [59]
12Laura M. Castro [68]
13Olaf Chitil [54]
14L. Chow [52]
15Koen Claessen [46] [51] [54] [67] [69]
16Nils Anders Danielsson [60]
17Kei Davis [12]
18Dirk Dussart [35] [37]
19Jon Fairbairn [6] [16]
20Joseph H. Fasel [16]
21Alex Ferguson (Alex B. Ferguson) [8] [20] [21] [26]
22Ana Paula Lüdtke Ferreira [53]
23Jeremy Gibbons [60]
24Andy Gill [22]
25María M. Guzmán [16]
26Kevin Hammond [16]
27Rogardt Heldal [35] [36] [44] [50]
28Brian Henderson-Sellers [52]
29Carsten Kehler Holst [14]
30Paul Hudak [16] [64]
31Patrik Jansson [60]
32Joakim Johansson [61]
33Thomas Johnsson [16]
34Simon L. Peyton Jones [16] [22] [25] [64]
35Jens Kaasbøll [53]
36Vinícius Medina Kern [53]
37Richard B. Kieburtz (Dick Kieburtz) [16]
38Ryszard Kubiak [13]
39John Launchbury [6] [13] [17] [18] [22] [24] [25] [28]
40Pablo E. Martínez López [55]
41Esselina Macome [53]
42Henning Makholm [49]
43Simon Marlow [22]
44Joberto Martins (J. S. B. Martins) [53]
45Don McFall [27]
46Andrew D. McGettrick [53]
47Eugenio Moggi [48]
48Andrew Moran [23] [31]
49David A. Naumann [62]
50Rishiyur S. Nikhil [16]
51Ulf Norell [59]
52John O'Donnell [10]
53Clara Amélia de Oliveira [53]
54Alfonso Ignacio Orth [53]
55Rex L. Page [56]
56Michal Palka [69]
57Lars Pareto [33] [42]
58Will Partain [16]
59John Peterson [16]
60Colin Runciman [54]
61Alejandro Russo [62] [65] [67]
62Andrei Sabelfeld [62]
63Amr Sabry [33]
64R. Sadananda [53]
65M. K. Serour [52]
66Elaine da Silva [53]
67Gillian Sleith [27]
68Nicholas Smallbone [69]
69Clive Souter [30]
70Hans Svensson [69]
71Walid Taha [49]
72Peter Thiemann [37]
73Romero Tori [53]
74Philip W. Trinder [6]
75Ta-Chung Tsai [65]
76Philip Wadler [16] [22] [64]
77Malcolm Wallace [54]
78Ulf Wiger [61] [69]
79D. Winder [52]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)