| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dominic Duggan, Jianhua Yao |
Sessional dataflow: short paper.  |
DAMP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, Ye Wu |
Causality and Accountability. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan |
Capability passing processes. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan, Ye Wu |
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan |
Capability-Passing Processes. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Type-based hot swapping of running modules. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan |
Type-Based Distributed Access Control vs. Untyped Attackers. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Type-based cryptographic operations. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan |
Abstractions for fault-tolerant global computing. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia, Dominic Duggan, Jan Vitek |
Type-Based Distributed Access Control. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, John Ophel |
Open and closed scopes for constrained genericity. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Object type constructors. |
Acta Inf. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Abstractions for Fault-Tolerant Global Computing. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Type-Safe linking with recursive DLLs and shared libraries. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules |
| 1 | Dominic Duggan, John Ophel |
Type-checking multi-parameter type classes. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Cryptographic Types. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Finite subtype inference with explicit polymorphism. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Higher-Order Substitutions. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Type-Based Hot Swapping of Running Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
module interconnection languages, dynamic typing, shared libraries, hot swapping |
| 1 | Dominic Duggan, Ching-Ching Techaubol |
Modular Mixin-Based Inheritance for Application Frameworks. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Atomic Failure in Wide-Area Computation. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dominic Duggan |
Sharing in Typed Module Assembly Language. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
Domain-specific programming languages, modular interpreters, mixin-based inheritance, Java, monads |
| 1 | Dominic Duggan |
Dynamic Typing for Distributed Programming in Polymorphic Languages. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
parametric polmorphism, dynamic typing, static typing, marshalling |
| 1 | Dominic Duggan |
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Dominic Duggan |
Unification with Extended Patterns. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Derivatives: A Construct for Internet Programming. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Finite Subtype Inference with Explicit Polymorphism. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, Frederick Bent |
Explaining Type Inference. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, Gordon V. Cormack, John Ophel |
Kinded Type Inference for Parametric Overloading. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, Constantinos Sourelis |
Mixin Modules. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
A Type-Based Implementation of a Language with Distributed Scope. |
Mobile Object Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory F. Johnson, Dominic Duggan |
First-Class Stores and Partial Continuations in a Programming Language and Environment. |
Comput. Lang. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Logical Closures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Shen, Gordon V. Cormack, Dominic Duggan |
On Abstraction and Sharing in Generic Modules. |
COODBSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gregory F. Johnson, Dominic Duggan |
Stores and Partial Continuations as First-Class Objects in a Language and its Environment. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")