John Hughes

	2011
75		Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson: Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22
	2010
74		Koen Claessen, Nicholas Smallbone, John Hughes: QuickSpec: Guessing Formal Specifications Using Testing. TAP 2010: 6-21
	2009
73		John Hughes: Software Testing with QuickCheck. CEFP 2009: 183-223
72		John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271
71		Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger: Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160
	2008
70		Thomas Arts, Laura M. Castro, John Hughes: Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8
69		Alejandro Russo, Koen Claessen, John Hughes: A library for light-weight information-flow security in haskell. Haskell 2008: 13-24
68		John Hughes: Experiences from teaching functional programming at Chalmers. SIGPLAN Notices 43(11): 77-80 (2008)
	2007
67		Ta-Chung Tsai, Alejandro Russo, John Hughes: A Library for Secure Multi-threaded Information Flow in Haskell. CSF 2007: 187-202
66		Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler: A history of Haskell: being lazy with class. HOPL 2007: 1-55
65		John Hughes: QuickCheck Testing for Fun and Profit. PADL 2007: 1-32
	2006
64		Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
63		Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger: Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10
62		Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
61		Frank Chiang, Robin Braun, John Hughes: A biologically-inspired multi-agent framework for autonomic service management. Int. J. Pervasive Computing and Communications 2(3): 261-276 (2006)
	2005
60		Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73
	2004
59		John Hughes: Programming with Arrows. Advanced Functional Programming 2004: 73-129
58		John Hughes: Global variables in Haskell. J. Funct. Program. 14(5): 489-502 (2004)
	2002
57		Rex L. Page, John Hughes: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002 ACM 2002
56		Pablo E. Martínez López, John Hughes: Principal type specialisation. ASIA-PEPM 2002: 94-105
55		Koen 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
54		John 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
53		M. K. Serour, Brian Henderson-Sellers, John Hughes, D. Winder, L. Chow: Organizational Transition to Object Technology: Theory and Practice. OOIS 2002: 229-241
52		Koen Claessen, John Hughes: Testing monadic code with QuickCheck. SIGPLAN Notices 37(12): 47-59 (2002)
	2001
51		Rogardt Heldal, John Hughes: Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference 2001: 191-204
50		Walid Taha, Henning Makholm, John Hughes: Tag Elimination and Jones-Optimality. PADO 2001: 257-275
	2000
49		Nick Benton, John Hughes, Eugenio Moggi: Monads and Effects. APPSEM 2000: 42-122
48		John Hughes: The Correctness of Type Specialisation. ESOP 2000: 215-229
47		Koen Claessen, John Hughes: QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279
46		John Hughes: Generalising monads to arrows. Sci. Comput. Program. 37(1-3): 67-111 (2000)
45		Rogardt Heldal, John Hughes: Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. 248(1-2): 99-145 (2000)
	1999
44		John Hughes: The Realities of PKI Inter-operability. CQRE 1999: 127-132
43		John Hughes, Lars Pareto: Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP 1999: 70-81
42		John Hughes: Certificate inter-operability - white paper. Computers & Security 18(3): 221-230 (1999)
	1998
41		John Hughes: Generalising Monads (Abstract). MPC 1998: 6
40		John Hughes: A Type Specialisation Tutorial. Partial Evaluation 1998: 293-325
39		John Hughes: Type Specialization. ACM Comput. Surv. 30(3es): 14 (1998)
	1997
38		Dirk Dussart, John Hughes, Peter Thiemann: Type Specialization for Imperative Languages. ICFP 1997: 204-216
37		Rogardt Heldal, John Hughes: Partial Evaluation and Separate Compilation. PEPM 1997: 1-11
36		Dirk Dussart, Rogardt Heldal, John Hughes: Module-Sensitive Program Specialisation. PLDI 1997: 206-214
	1996
35		John 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
34		John Hughes, Lars Pareto, Amr Sabry: Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423
	1995
33		John Hughes: The Design of a Pretty-printing Library. Advanced Functional Programming 1995: 53-96
32		John Hughes, Andrew Moran: Making Choices Lazily. FPCA 1995: 108-119
31		John Hughes, Clive Souter, Eric Atwell: Automatic Extraction of Tagset Mappings from Parallel-Annotated Corpora CoRR abs/cmp-lg/9506006: (1995)
	1994
30		John Hughes, Eric Atwell: The Automated Evaluation of Inferred Word Classifications. ECAI 1994: 535-539
29		John Hughes, John Launchbury: Reversing Abstract Interpretations. Sci. Comput. Program. 22(3): 307-326 (1994)
	1993
28		Don McFall, Gillian Sleith, John Hughes: Reverse Engineering Structured Code to an Object-Oriented Representation. SEKE 1993: 86-93
27		Alex Ferguson, John Hughes: Fast Abstract Interpretation Using Sequential Algorithms. WSA 1993: 45-59
26		Simon L. Peyton Jones, John Hughes, John Launchbury: How to Give a Good Research Talk. SIGPLAN Notices 28(11): 9-12 (1993)
	1992
25		John Hughes, John Launchbury: Reversing Abstract Interpretations. ESOP 1992: 269-286
24		John Hughes, Andrew Moran: A Semantics for Locally Bottom-Avoiding Choice. Functional Programming 1992: 102-112
23		John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153
22		Alex Ferguson, John Hughes: Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Functional Programming 1992: 57-61
21		John Hughes, Alex Ferguson: A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Functional Programming 1992: 85-101
20		John Hughes: Pretty-printing: An Exercise in Functional Programming. MPC 1992: 11-13
19		John Hughes, John Launchbury: Relational Reversal of Abstract Interpretation. J. Log. Comput. 2(4): 465-482 (1992)
18		John Hughes, John Launchbury: Projections for Polymorphic First-Order Strictness Analysis. Mathematical Structures in Computer Science 2(3): 301-326 (1992)
17		Paul 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
16		John Hughes: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings Springer 1991
15		Carsten Kehler Holst, John Hughes: A Loop-Detecting Interpreter for Lazy Programs. Functional Programming 1991: 164-176
14		Ryszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. Functional Programming 1991: 207-224
	1990
13		Kei Davis, John Hughes: Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK Springer 1990
	1989
12		John Hughes: Projections for Polymorphic Strictness Analysis. Category Theory and Computer Science 1989: 82-100
11		John Hughes, John O'Donnell: Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming 1989: 308-328
10		Gebreselassie Baraki, John Hughes: Abstract Interpretation of Polymorphic Functions. Functional Programming 1989: 31-40
9		Alex Ferguson, John Hughes: An Iterative Powerdomain Construction. Functional Programming 1989: 41-55
8		John Hughes: Why Functional Programming Matters. Comput. J. 32(2): 98-107 (1989)
	1987
7		Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury: Implementing Functional Databases. DBPL 1987: 165-176
6		Richard S. Bird, John Hughes: The alpha-beta Algorithm: An Exercise in Program Transformation. Inf. Process. Lett. 24(1): 53-57 (1987)
	1986
5		John Hughes: A Novel Representation of Lists and its Application to the Function "reverse". Inf. Process. Lett. 22(3): 141-144 (1986)
	1985
4		John Hughes: Lazy Memo-functions. FPCA 1985: 129-146
3		John Hughes: A Distributed Garbage Collection Algorithm. FPCA 1985: 256-271
2		John Hughes: Strictness detection in non-flat domains. Programs as Data Objects 1985: 112-135
	1982
1		Stephen A. Szygenda, John Hughes, Matt Blanton, Terry J. Wagner, Dennis J. Frailey, Tom Gunter, Chuck McLeavy, G. Jack Lipovski, Miroslaw Malek: 9th International Symposium on Computer Architecture (ISCA 1982), Austin, TX, USA, April 26-29, 1982 IEEE Computer Society 1982

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page