| 2001 |
|---|
| 10 | EE | Rowan Davies,
Frank Pfenning:
A modal analysis of staged computation.
J. ACM 48(3): 555-604 (2001) |
| 9 | | Frank Pfenning,
Rowan Davies:
A judgmental reconstruction of modal logic.
Mathematical Structures in Computer Science 11(4): 511-540 (2001) |
| 2000 |
|---|
| 8 | EE | Rowan Davies,
Frank Pfenning:
Intersection types and computational effects.
ICFP 2000: 198-208 |
| 1999 |
|---|
| 7 | EE | Luca Cardelli,
Rowan Davies:
Service Combinators for Web Computing.
IEEE Trans. Software Eng. 25(3): 309-316 (1999) |
| 1998 |
|---|
| 6 | EE | Philip Wickline,
Peter Lee,
Frank Pfenning,
Rowan Davies:
Modal Types as Staging Specifications for Run-Time Code Generation.
ACM Comput. Surv. 30(3es): 8 (1998) |
| 1997 |
|---|
| 5 | | Rowan Davies:
Refinement-Type Checker for Standard ML.
AMAST 1997: 565-566 |
| 4 | EE | Luca Cardelli,
Rowan Davies:
Service Combinators for Web Computing.
DSL 1997: 1-10 |
| 3 | EE | Rowan Davies,
Gordon F. Royle:
Graph Domination, Tabu Search and the Football Pool Problem.
Discrete Applied Mathematics 74(3): 217-228 (1997) |
| 1996 |
|---|
| 2 | | Rowan Davies:
A Temporal-Logic Approach to Binding-Time Analysis.
LICS 1996: 184-195 |
| 1 | EE | Rowan Davies,
Frank Pfenning:
A Modal Analysis of Staged Computation.
POPL 1996: 258-270 |
