|
Edinburgh Research Archive
|
|
|
|
Edinburgh Research Archive >
Browsing by Author Anderson, Stuart
Showing results 1 to 10 of 10
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1998 | Applicative Notions in ML-like Programs | Ling , Budi H | Fourman, Michael; Anderson, Stuart; MPhil Master of Philosophy |
| Jul-1997 | Categorical Structure of Continuation Passing Style | Thielecke , Hayo | Anderson, Stuart; Power, John |
| Jul-2002 | Diagrammatic Representations in Domain-Specific Languages | Tourlas, Konstantinos | Anderson, Stuart |
| Jul-1993 | Embedding Hardware Description Languages in Proof Systems | Goossens, Kees G W | Anderson, Stuart; Fourman, Michael |
| Jul-1997 | Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems | Kahn, Saif U | Mitchell, Kevin; Anderson, Stuart; MPhil Master of Philosophy |
| Jul-1999 | Proving Correctness of Modular Functional Programs | Owens, Christopher | Gilmore, Stephen; Anderson, Stuart |
| 7-Nov-2007 | Quality of Service of Crash-Recovery Failure Detectors | Ma, Tiejun | Anderson, Stuart; Hillston, Jane |
| Jul-2000 | The structure of call-by-value | Führmann, Carsten | Anderson, Stuart; Power, John |
| Jul-1993 | Timed Processes: Models, Axioms and Decidability | Chen, Liang | Anderson, Stuart; Power, John |
| Jul-1997 | A Type-Theoretic Analysis of Modular Specifications | Maharaj, Savitri | Anderson, Stuart |
Showing results 1 to 10 of 10
|
