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
Marcia Lucena, Departamento de Informática e Matemática Aplicada
Universidade Federal do Rio Grande do Norte, Brazil