David J. King

	2008
12		Jan Henry Nyström, Philip W. Trinder, David J. King: High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. Concurrency and Computation: Practice and Experience 20(8): 941-968 (2008)
	2007
11		Jan Nyström, Philip W. Trinder, David J. King: Evaluating high-level distributed language constructs. ICFP 2007: 203-212
	2005
10		Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton: Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE 2005: 50-59
9		Jan Henry Nyström, Philip W. Trinder, David J. King: Are High-Level Languages Suitable for Robust Telecoms Software?. SAFECOMP 2005: 275-288
	2003
8		Jan Henry Nyström, Philip W. Trinder, David J. King: Evaluating distributed functional languages for telecommunications software. Erlang Workshop 2003: 1-7
	2002
7		Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell: Automatic Generation of Conformance Tests from Message Sequence Charts. SAM 2002: 170-198
	2000
6		Clement A. Baker-Finch, David J. King, Philip W. Trinder: An operational semantics for parallel lazy evaluation. ICFP 2000: 162-173
	1999
5		Paul Baker, Clive Jervis, David J. King: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. Scottish Functional Programming Workshop 1999: 126-134
	1998
4		Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King: Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL 1998: 54-71
3		David J. King, Jon G. Hall, Philip W. Trinder: A Strategic Profiler for Glasgow Parallel Haskell. IFL 1998: 88-102
	1995
2		David J. King, John Launchbury: Structuring Depth-First Search Algorithms in Haskell. POPL 1995: 344-354
	1992
1		David J. King, Philip Wadler: Combining Monads. Functional Programming 1992: 134-143

Coauthor Index

1	Paul Baker	[5] [7] [10]
2	Clement A. Baker-Finch	[4] [6]
3	Paul Bristow	[7] [10]
4	Simon Burton	[10]
5	Jon G. Hall	[3] [4]
6	Clive Jervis	[5] [7] [10]
7	John Launchbury	[2]
8	Bill Mitchell	[7] [10]
9	Jan Nyström	[11]
10	Jan Henry Nyström	[8] [9] [12]
11	Robert Thomson	[10]
12	Philip W. Trinder	[3] [4] [6] [8] [9] [11] [12]
13	Philip Wadler	[1]

Colors in the list of coauthors