PhD Defence • Programming Languages — C∀ Type System Implementation
Aaron Moss, PhD candidate
David R. Cheriton School of Computer Science
Aaron Moss, PhD candidate
David R. Cheriton School of Computer Science
Alexey Tumanov, Postdoctoral Researcher
University of California Berkeley
Mohammed Alliheedi, PhD candidate
David R. Cheriton School of Computer Science
Andrijana Burazin, Department of Mathematical and Computational Sciences
University of Toronto Mississauga
Meng Tang, PhD candidate
David R. Cheriton School of Computer Science
Aaron Voelker, PhD candidate
David R. Cheriton School of Computer Science
Joshua Jung, PhD candidate
David R. Cheriton School of Computer Science
John Harris, PhD candidate
David R. Cheriton School of Computer Science
James She, Department of Electronic and Computer Engineering
Hong Kong University of Science and Technology
Alex Williams, PhD candidate
David R. Cheriton School of Computer Science
Part I: Guiding Attention between Home and the Workplace