Thesis defence

Mohammed Alfatafta, Master’s candidate
David R. Cheriton School of Computer Science

Huy Hoang, Master’s candidate
David R. Cheriton School of Computer Science

Zeynep Akkalyoncu Yilmaz, Master’s candidate
David R. Cheriton School of Computer Science

Jaejun Lee, Master’s candidate
David R. Cheriton School of Computer Science

Amira Ghenai, PhD candidate
David R. Cheriton School of Computer Science

Marianna Rapoport, PhD candidate
David R. Cheriton School of Computer Science

The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's 

Priyank Jaini, PhD candidate
David R. Cheriton School of Computer Science

Sepehr Taeb, Master’s candidate
David R. Cheriton School of Computer Science

Daniel Watson, Master’s candidate
David R. Cheriton School of Computer Science

Nolan Shaw, Master’s candidate
David R. Cheriton School of Computer Science