Searching for authors named "Rowan Davies" – sorted by Relevance.
-
Practical refinement-type checking. Thesis Proposal
- Practical Refinement-Type Checking: Thesis Summary Rowan Davies rowan@(email omitted); (Thesis oral: 1pm
- Cited by 7 (2 self) – Add To MetaCart
-
A temporal-logic approach to binding-time analysis
- BRICS Basic Research in Computer Science A Temporal-Logic Approach to Binding-Time Analysis Rowan
- Cited by 74 (4 self) – Add To MetaCart
-
Practical Refinement-Type Checking
- Practical Refinement-Type Checking Rowan Davies and Frank Pfenning Department of Computer Science
- Cited by 14 (1 self) – Add To MetaCart
-
A Judgmental Reconstruction of Modal Logic
- A Judgmental Reconstruction of Modal Logic Frank Pfenning and Rowan Davies Department of Computer
- Cited by 117 (33 self) – Add To MetaCart
-
A Modal Analysis of Staged Computation
- A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning May 1995 CMU-CS-95
- Cited by 161 (19 self) – Add To MetaCart
-
Intersection Types and Computational Effects
- Intersection Types and Computational Effects Rowan Davies Department of Computer Science
- Cited by 48 (6 self) – Add To MetaCart
-
Service Combinators for Web Computing
- Research Center Rowan Davies Carnegie-Mellon University School of Computer Science Abstract The World
- Cited by 68 (5 self) – Add To MetaCart
-
A Modal Analysis of Staged Computation
- A Modal Analysis of Staged Computation Rowan Davies and Frank Pfenning May 1995 CMU-CS-95
- Add To MetaCart
-
Luca Cardelli
- and Rowan Davies Service Combinators for Web Computing Luca Cardelli and Rowan Davies June 1, 1997 Author
- Add To MetaCart
-
Graph Domination, Tabu Search and the Football Pool Problem
- Graph Domination, Tabu Search and the Football Pool Problem Rowan Davies and Gordon F. Royle
- Cited by 2 (0 self) – Add To MetaCart

