The following pages link to Dominic Duggan (Q1274965):
Displayed 16 items.
- Unification with extended patterns (Q1274966) (← links)
- Finite subtype inference with explicit polymorphism (Q1595249) (← links)
- Open and closed scopes for constrained genericity (Q1606127) (← links)
- Object type constructors (Q1608944) (← links)
- Type-based hot swapping of running modules (Q1772100) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Kinded type inference for parametric overloading (Q1911131) (← links)
- Explaining type inference (Q1919354) (← links)
- Capability passing processes (Q2373642) (← links)
- Mixin modules (Q2817705) (← links)
- Security Correctness for Secure Nested Transactions (Q2830027) (← links)
- Type-checking multi-parameter type classes (Q4331136) (← links)
- (Q4532092) (← links)
- (Q4762647) (← links)
- Type-based hot swapping of running modules (extended abstract) (Q5177998) (← links)