Type Checking and Inference for Dynamic Languages - Ren, Brianna (ProQuest Dissertations and Theses, 2019)