@phdthesis{g-dissertation-2020, author = {Ben Greenman}, title = {{Deep} and {Shallow} Types}, school = {{Northeastern} {University}}, year = {2020}, }