Dominic Duggan

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