| | |
Summary: Modal Types for Mobile Code
Tom Murphy VII
CMU-CS-08-126
May 13, 2008
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Robert Harper, Co-Chair
Karl Crary, Co-Chair
Frank Pfenning
Peter Sewell
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright c 2008 Tom Murphy VII
Keywords: modal logic, distributed computing, programming languages, web pro-
gramming, compilers, types
Abstract
In this dissertation I argue that modal type systems provide an elegant
and practical means for controlling local resources in spatially distributed
|
