| 2008 |
|---|
| 36 | EE | Dominic Duggan,
Ye Wu:
Causality and Accountability.
Formal Aspects in Security and Trust 2008: 82-96 |
| 2007 |
|---|
| 35 | EE | Tom Chothia,
Dominic Duggan,
Ye Wu:
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 171(4): 3-21 (2007) |
| 34 | EE | Tom Chothia,
Dominic Duggan:
Capability passing processes.
Sci. Comput. Program. 66(3): 184-204 (2007) |
| 2006 |
|---|
| 33 | EE | Tom Chothia,
Dominic Duggan:
Capability-Passing Processes.
Electr. Notes Theor. Comput. Sci. 154(1): 3-23 (2006) |
| 2005 |
|---|
| 32 | EE | Tom Chothia,
Dominic Duggan:
Type-Based Distributed Access Control vs. Untyped Attackers.
Formal Aspects in Security and Trust 2005: 203-216 |
| 31 | EE | Dominic Duggan:
Type-based hot swapping of running modules.
Acta Inf. 41(4-5): 181-220 (2005) |
| 2004 |
|---|
| 30 | | Dominic Duggan:
Type-based cryptographic operations.
Journal of Computer Security 12(3-4): 485-550 (2004) |
| 29 | EE | Tom Chothia,
Dominic Duggan:
Abstractions for fault-tolerant global computing.
Theor. Comput. Sci. 322(3): 567-613 (2004) |
| 2003 |
|---|
| 28 | EE | Tom Chothia,
Dominic Duggan,
Jan Vitek:
Type-Based Distributed Access Control.
CSFW 2003: 170- |
| 2002 |
|---|
| 27 | EE | Dominic Duggan:
Cryptographic Types.
CSFW 2002: 238-252 |
| 26 | EE | Dominic Duggan:
Type-Safe linking with recursive DLLs and shared libraries.
ACM Trans. Program. Lang. Syst. 24(6): 711-804 (2002) |
| 25 | EE | Dominic Duggan:
Object type constructors.
Acta Inf. 38(6): 367-408 (2002) |
| 24 | EE | Dominic Duggan:
Abstractions for Fault-Tolerant Global Computing.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 23 | | Dominic Duggan,
John Ophel:
Type-checking multi-parameter type classes.
J. Funct. Program. 12(2): 133-158 (2002) |
| 22 | EE | Dominic Duggan,
John Ophel:
Open and closed scopes for constrained genericity.
Theor. Comput. Sci. 275(1-2): 215-258 (2002) |
| 2001 |
|---|
| 21 | | Dominic Duggan:
Type-Based Hot Swapping of Running Modules.
ICFP 2001: 62-73 |
| 20 | | Dominic Duggan,
Ching-Ching Techaubol:
Modular Mixin-Based Inheritance for Application Frameworks.
OOPSLA 2001: 223-240 |
| 19 | | Dominic Duggan:
Higher-Order Substitutions.
Inf. Comput. 164(1): 1-53 (2001) |
| 18 | | Dominic Duggan:
Finite subtype inference with explicit polymorphism.
Sci. Comput. Program. 39(1): 57-92 (2001) |
| 2000 |
|---|
| 17 | EE | Dominic Duggan:
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.
ECOOP 2000: 179-200 |
| 16 | | Dominic Duggan:
Atomic Failure in Wide-Area Computation.
FMOODS 2000: 65- |
| 15 | EE | Dominic Duggan:
Sharing in Typed Module Assembly Language.
Types in Compilation 2000: 85-116 |
| 1999 |
|---|
| 14 | EE | Dominic Duggan:
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.
OOPSLA 1999: 97-113 |
| 13 | EE | Dominic Duggan:
Dynamic Typing for Distributed Programming in Polymorphic Languages.
ACM Trans. Program. Lang. Syst. 21(1): 11-45 (1999) |
| 1998 |
|---|
| 12 | EE | Dominic Duggan:
Derivatives: A Construct for Internet Programming.
ICCL Workshop: Internet Programming Languages 1998: 113-126 |
| 11 | EE | Dominic Duggan:
Finite Subtype Inference with Explicit Polymorphism.
SAS 1998: 295-310 |
| 10 | EE | Dominic Duggan:
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.
Types in Compilation 1998: 273-297 |
| 9 | EE | Dominic Duggan:
Unification with Extended Patterns.
Theor. Comput. Sci. 206(1-2): 1-50 (1998) |
| 1996 |
|---|
| 8 | | Dominic Duggan,
Constantinos Sourelis:
Mixin Modules.
ICFP 1996: 262-273 |
| 7 | | Dominic Duggan:
A Type-Based Implementation of a Language with Distributed Scope.
Mobile Object Systems 1996: 277-294 |
| 6 | | Dominic Duggan,
Gordon V. Cormack,
John Ophel:
Kinded Type Inference for Parametric Overloading.
Acta Inf. 33(1): 21-68 (1996) |
| 5 | | Dominic Duggan,
Frederick Bent:
Explaining Type Inference.
Sci. Comput. Program. 27(1): 37-83 (1996) |
| 1994 |
|---|
| 4 | | Jun Shen,
Gordon V. Cormack,
Dominic Duggan:
On Abstraction and Sharing in Generic Modules.
COODBSE 1994: 22-41 |
| 3 | | Dominic Duggan:
Logical Closures.
LPAR 1994: 114-128 |
| 2 | | Gregory F. Johnson,
Dominic Duggan:
First-Class Stores and Partial Continuations in a Programming Language and Environment.
Comput. Lang. 20(1): 53-68 (1994) |
| 1988 |
|---|
| 1 | | Gregory F. Johnson,
Dominic Duggan:
Stores and Partial Continuations as First-Class Objects in a Language and its Environment.
POPL 1988: 158-168 |
