Dominic Duggan

Computer Science

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Chothia T, Duggan D. (2007) Capability passing processes Science of Computer Programming. 66: 184-204
Chothia T, Duggan D, Wu Y. (2007) An End-To-End Approach to Distributed Policy Language Implementation. (Extended Abstract) Electronic Notes in Theoretical Computer Science. 171: 3-21
Chothia T, Duggan D. (2006) Capability-Passing Processes Electronic Notes in Theoretical Computer Science. 154: 3-23
Duggan D. (2004) Type-based cryptographic operations Journal of Computer Security. 12: 485-550
Chothia T, Duggan D. (2004) Abstractions for fault-tolerant global computing Theoretical Computer Science. 322: 567-613
Duggan D. (2002) Type-safe linking with recursive DLLs and shared libraries Acm Transactions On Programming Languages and Systems. 24: 711-804
Duggan D. (2002) Cryptographic types Proceedings of the Computer Security Foundations Workshop. 2002: 238-252
Duggan D, Ophel J. (2002) Type-checking multi-parameter type classes Journal of Functional Programming. 12: 133-158
Duggan D. (2002) Abstractions for fault-tolerant global computing: Extended abstracts Electronic Notes in Theoretical Computer Science. 66: 116-144
Duggan D, Ophel J. (2002) Open and closed scopes for constrained genericity Theoretical Computer Science. 275: 215-258