Dominic Duggan
From MaRDI portal
Person:1274965
Available identifiers
zbMath Open duggan.dominicMaRDI QIDQ1274965
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Security correctness for secure nested transactions (extended abstract) | 2016-11-09 | Paper |
| Mixin modules | 2016-09-01 | Paper |
| Type-based hot swapping of running modules (extended abstract) | 2015-03-09 | Paper |
| Capability passing processes | 2007-07-16 | Paper |
| Type-based hot swapping of running modules | 2005-04-15 | Paper |
| Abstractions for fault-tolerant global computing | 2004-10-04 | Paper |
| Higher-order substitutions | 2003-01-14 | Paper |
| Object type constructors | 2002-08-14 | Paper |
| Open and closed scopes for constrained genericity | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532092 | 2002-05-28 | Paper |
| Type-checking multi-parameter type classes | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762647 | 2001-02-22 | Paper |
| Finite subtype inference with explicit polymorphism | 2001-02-11 | Paper |
| Unification with extended patterns | 1999-01-12 | Paper |
| Explaining type inference | 1996-08-05 | Paper |
| Kinded type inference for parametric overloading | 1996-04-16 | Paper |
Research outcomes over time
This page was built for person: Dominic Duggan
