William L. Harrison Vis

*	2009
15	EE	William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein: Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL 2009: 20-44
	2008
14	EE	William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter: Asynchronous Exceptions as an Effect. MPC 2008: 153-176
13	EE	Xuezheng Fu, Hao Wang, Robert W. Harrison, William L. Harrison: A rule-based approach for RNA pseudoknot prediction. IJDMB 2(1): 78-93 (2008)
	2006
12	EE	William L. Harrison: The Essence of Multitasking. AMAST 2006: 158-172
11	EE	William L. Harrison: Proof Abstraction for Imperative Languages. APLAS 2006: 97-113
	2005
10	EE	William L. Harrison: A Simple Semantics for Polymorphic Recursion. APLAS 2005: 37-51
9	EE	Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison: RNA Pseudoknot Prediction Using Term Rewriting. BIBE 2005: 169-176
8	EE	William L. Harrison, James Hook: Achieving Information Flow Security through Precise Control of Effects. CSFW 2005: 16-30
7	EE	William L. Harrison, Richard B. Kieburtz: The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005)
	2002
6	EE	William L. Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell. MPC 2002: 68-93
	2001
5	EE	William L. Harrison, Tim Sheard: Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG 2001: 163-182
	2000
4		William L. Harrison, Samuel N. Kamin: Metacomputation-Based Compiler Architecture. MPC 2000: 213-229
	1998
3	EE	William L. Harrison, Samuel N. Kamin: Modular Compilers Based on Monad Transformers. ICCL 1998: 122-131
	1992
2		William L. Harrison, Myla Archer, Karl N. Levitt: A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs 1992: 347-356
	1991
1		William L. Harrison, Karl N. Levitt: Mechanizing Security in HOL. TPHOLs 1991: 63-66

Coauthor Index

1	Jason Agron	[15]
2	Gerard Allwein	[14] [15]
3	Myla Archer	[2]
4	Xuezheng Fu	[9] [13]
5	Andy Gill	[14]
6	Robert W. Harrison	[9] [13]
7	James Hook	[6] [8]
8	Samuel N. Kamin (Sam Kamin)	[3] [4]
9	Richard B. Kieburtz (Dick Kieburtz)	[7]
10	Garrin Kimmell	[15]
11	Karl N. Levitt	[1] [2]
12	Adam M. Procter	[14] [15]
13	Tim Sheard	[5] [6]
14	Hao Wang	[9] [13]

Colors in the list of coauthors