Searching for authors named "Rowan Davies" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
