Type-Aware Programming Models for Distributed Applications

Thesis (Ph.D.)--University of Washington, 2016-08