James Hook

	2008
18		James Hook, Peter Thiemann: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 ACM 2008
17		James Hook, Michael Sperber: The ICFP developer conference 2008. SIGPLAN Notices 43(5): 3-4 (2008)
	2005
16		William L. Harrison, James Hook: Achieving Information Flow Security through Precise Control of Effects. CSFW 2005: 16-30
	2004
15		Songtao Xia, James Hook: Certifying Temporal Properties for Compiled C Programs. VMCAI 2004: 161-174
	2003
14		Songtao Xia, James Hook: Experience with Abstraction-carrying Code. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
	2002
13		William L. Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell. MPC 2002: 68-93
	1999
12		Erik Meijer, Daan Leijen, James Hook: Client-Side Web Scripting with HaskellScript. PADL 1999: 196-210
	1998
11		Daan Leijen, Erik Meijer, James Hook: Haskell as an Automation Controller. Advanced Functional Programming 1998: 268-289
	1997
10		Jeffrey M. Bell, Françoise Bellegarde, James Hook: Type-Driven Defunctionalization. ICFP 1997: 25-37
	1996
9		Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton: A Software Engineering Experiment in Software Component Generation. ICSE 1996: 542-552
	1995
8		Judy Bamberger, James Hook: Teaching Software Quality and Leadership: Experiences and Successes. APSEC 1995: 333-344
7		Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou: Calculating Software Generators from Solution Specifications. TAPSOFT 1995: 546-560
	1994
6		Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou: Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada 1994: 396-404
5		Françoise Bellegarde, James Hook: Subsitution: A Formal Methods Case Study Using Monads and Transformations. Sci. Comput. Program. 23(2-3): 287-311 (1994)
	1993
4		Harini Srinivasan, James Hook, Michael Wolfe: Static Single Assignment for Explicitely Parallel Programs. POPL 1993: 260-272
3		Françoise Bellegarde, James Hook: Monads, Indexes and Transformations. TAPSOFT 1993: 314-327
	1990
2		Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652
	1984
1		James Hook: Understanding Russell- A First Attempt. Semantics of Data Types 1984: 69-86

Coauthor Index

1	Judy Bamberger	[8]
2	Jeffrey M. Bell	[6] [7] [9] [10]
3	Françoise Bellegarde (Françoise Bellegarde-Webb)	[3] [5] [6] [7] [10]
4	Carl Eichenlaub	[2]
5	Bruce Esrig	[2]
6	William L. Harrison	[13] [16]
7	Richard B. Kieburtz (Dick Kieburtz)	[6] [7] [9]
8	Carl Klapper	[2]
9	Alex Kotov	[6] [9]
10	Daan Leijen	[11] [12]
11	Jeffrey Lewis	[6] [7] [9]
12	Laura McKinney	[6] [9]
13	Erik Meijer	[11] [12]
14	Dino Oliva	[6] [7] [9]
15	Garrel Pottinger	[2]
16	Tim Sheard	[6] [7] [9] [13]
17	Ira Smith	[9]
18	Michael Sperber	[17]
19	Harini Srinivasan	[4]
20	Peter Thiemann	[18]
21	L. Tong	[6]
22	Lisa Walton	[6] [7] [9]
23	Michael Wolfe	[4]
24	Songtao Xia	[14] [15]
25	Tong Zhou	[6] [7]

Colors in the list of coauthors