| 2008 |
|---|
| 14 | EE | William L. Harrison,
Gerard Allwein,
Andy Gill,
Adam 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 |
