Dominic Duggan

发表

Object type constructors

Dominic Duggan, Dominic Duggan, 2002, Acta Informatica.

Types for Location and Data Security in Cloud Environments

Tom Chothia, Dominic Duggan, Ivan Gazeau, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).

Transactional Correctness for Secure Nested Transactions - (Extended Abstract)

Ye Wu, Dominic Duggan, 2011, TGC.

Abstractions for Fault-Tolerant Global Computing

Dominic Duggan, Dominic Duggan, 2002, F-WAN@ICALP.

Appendix A: Introduction to Haskell

Dominic Duggan, Dominic Duggan, 2012 .

Type-Safe linking with recursive DLLs and shared libraries

Dominic Duggan, Dominic Duggan, 2002, TOPL.

Cryptographic types

Dominic Duggan, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

Type-checking multi-parameter type classes

Dominic Duggan, John Ophel, 2002, J. Funct. Program..

Mixin modules

Dominic Duggan, Constantinos Sourelis, Dominic Duggan, 1996, ICFP '96.

Cryptographic Types (Extended Abstract)

Dominic Duggan, 2002 .

Appendix B: Time in Distributed Systems

Dominic Duggan, Dominic Duggan, 2012 .

Capability passing processes

Tom Chothia, Dominic Duggan, 2007, Sci. Comput. Program..

Type-based hot swapping of running modules (extended abstract)

Dominic Duggan, 2001, ICFP '01.

Modular mixin-based inheritance for application frameworks

Dominic Duggan, Ching-Ching Techaubol, 2001, OOPSLA '01.

Stores and partial continuations as first-class objects in a language and its environment

Gregory F. Johnson, G. F. Johnson, Dominic Duggan, 1988, POPL '88.

Sharing in Typed Module Assembly Language

Dominic Duggan, 2000, Types in Compilation.

An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract)

Tom Chothia, Ye Wu, Dominic Duggan, 2007, SecReT@ICALP.

Local package instances are not equivalent to generic formal package parameters

Gordon V. Cormack, Jun Shen, Dominic Duggan, 1992, ALET.

The Development and Adoption of an HIV Data Exchange Protocol by Large Global HIV Networks - Lessons Learned and Future Direction

Dominic Duggan, Firas H. Wehbe, Monique Termote, 2013, MedInfo.

Sessional dataflow: short paper

Jianhua Yao, Dominic Duggan, 2012, DAMP '12.

On Abstraction and Sharing in Generic Modules

Gordon V. Cormack, Jun Shen, Dominic Duggan, 1994, COODBSE.

Subtyping for Object Type Constructors

Adriana Compagnoni, Dominic Duggan, 2007 .

Parameterized Dataflow (Extended Abstract)

Jianhua Yao, Dominic Duggan, 2016, QAPL.

Explaining Type Inference

Dominic Duggan, Frederick Bent, Dominic Duggan, 1996, Sci. Comput. Program..

First-Class Stores and Partial Continuations in a Programming Language and Environment

Gregory F. Johnson, Dominic Duggan, 1994, Comput. Lang..

Logical Closures

Dominic Duggan, Dominic Duggan, 1994, LPAR.

3. Data Modeling

Dominic Duggan, Dominic Duggan, 2012 .

Causality and Accountability

Ye Wu, Dominic Duggan, Dominic Duggan, 2009, Formal Aspects in Security and Trust.

Finite Subtype Inference with Explicit Polymorphism

Dominic Duggan, 1998, SAS.

Aeetes: An App Generator for Sustainable and Secure Health Data Collection

Dominic Duggan, Lian Yu, Wenbin Li, 2013 .

Mobile Device Administration for Secure and Manageable Health Data Collection in Under-Resourced Areas

Jianhua Yao, Dominic Duggan, Lian Yu, 2016, ACM DEV.

A Type-Based Implementation of a Language with Distributed Scope

Dominic Duggan, Dominic Duggan, 1996, Mobile Object Systems.

Type-based hot swapping of running modules

Dominic Duggan, Dominic Duggan, 2005, Acta Informatica.

Static Sessional Dataflow

Jianhua Yao, Dominic Duggan, 2012, ECOOP.

Type-based cryptographic operations

Dominic Duggan, 2004, J. Comput. Secur..

Abstractions for Component-Based Programming with Dynamic Linking

Dominic Duggan, 2001 .

Kinded type inference for parameteric overloading

Gordon V. Cormack, Dominic Duggan, John Ophel, 1996, Acta Informatica.

Modular type-based reverse engineering of parameterized types in Java code

Dominic Duggan, 1999, OOPSLA '99.

Derivatives: A Construct for Internet Programming

Dominic Duggan, 1998, ICCL Workshop: Internet Programming Languages.

Finite subtype inference with explicit polymorphism

Dominic Duggan, 2001, Sci. Comput. Program..

Type-Based Distributed Access Control vs. Untyped Attackers

Tom Chothia, Dominic Duggan, 2005, Formal Aspects in Security and Trust.

Atomic Failure in Wide-Area Computation

Dominic Duggan, 2000, FMOODS.

Higher-Order Substitutions

Dominic Duggan, Dominic Duggan, 2001, Inf. Comput..

Dynamic typing for distributed programming in polymorphic languages

Dominic Duggan, Dominic Duggan, 1999, TOPL.

Domain‐Driven Architecture

Dominic Duggan, 2012 .

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages

Dominic Duggan, Dominic Duggan, 2000, ECOOP.

Capability-Passing Processes

Tom Chothia, Dominic Duggan, 2006, Electron. Notes Theor. Comput. Sci..

Resource-Oriented Architecture

Dominic Duggan, Dominic Duggan, 2012 .

Unification with Extended Patterns

Dominic Duggan, Dominic Duggan, 1998, Theor. Comput. Sci..

A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages

Dominic Duggan, Dominic Duggan, 1998, Types in Compilation.

Security correctness for secure nested transactions: position paper

Ye Wu, Dominic Duggan, 2012, PLAS '12.

Security Correctness for Secure Nested Transactions - Extended Abstract

Ye Wu, Dominic Duggan, 2013, TGC.

Type-based distributed access control

Jan Vitek, Tom Chothia, Dominic Duggan, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Open and closed scopes for constrained genericity

Dominic Duggan, John Ophel, 2002, Theor. Comput. Sci..

Service-Oriented Architecture

Dominic Duggan, Dominic Duggan, 2012 .

Enterprise Software Architecture and Design: Entities, Services, and Resources

Dominic Duggan, Dominic Duggan, 2012 .