Person. Michael Hilton Associate Teaching Professor · Carnegie Mellon University · cs.cmu.edu/~mhilton · 0000-0001-9195-6902 PhDOregon State University Master’sCalifornia Polytechnic State University UndergraduateSan Diego State University Papers Hazelnut: a bidirectionally typed structure editor calculus omar-2017-hazelnutPOPL · 2017 PDF · DOI · arXiv · pldb