Nabiha Asghar, PhD candidate
David R. Cheriton School of Computer Science
Nikhita Joshi, Master’s candidate
David R. Cheriton School of Computer Science
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