Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Modal Types for Mobile Code Tom Murphy VII

Summary: Modal Types for Mobile Code
Tom Murphy VII
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
In this dissertation I argue that modal type systems provide an elegant
and practical means for controlling local resources in spatially distributed


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Carnegie Mellon University, School of Computer Science
Pfenning, Frank - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences; Mathematics