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 |
|---|---|---|
| Parameterized dataflow (extended abstract) | 2025-02-26 | Paper |
| Security correctness for secure nested transactions (extended abstract) Trustworthy Global Computing | 2016-11-09 | Paper |
| Mixin modules Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
| Type-based hot swapping of running modules (extended abstract) Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Capability passing processes Science of Computer Programming | 2007-07-16 | Paper |
| Type-based hot swapping of running modules Acta Informatica | 2005-04-15 | Paper |
| Abstractions for fault-tolerant global computing Theoretical Computer Science | 2004-10-04 | Paper |
| Higher-order substitutions Information and Computation | 2003-01-14 | Paper |
| Object type constructors Acta Informatica | 2002-08-14 | Paper |
| Open and closed scopes for constrained genericity Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1746458 (Why is no real title available?) | 2002-05-28 | Paper |
| Type-checking multi-parameter type classes Journal of Functional Programming | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1569121 (Why is no real title available?) | 2001-02-22 | Paper |
| Finite subtype inference with explicit polymorphism Science of Computer Programming | 2001-02-11 | Paper |
| Unification with extended patterns Theoretical Computer Science | 1999-01-12 | Paper |
| Explaining type inference Science of Computer Programming | 1996-08-05 | Paper |
| Kinded type inference for parametric overloading Acta Informatica | 1996-04-16 | Paper |
Research outcomes over time
This page was built for person: Dominic Duggan
