Registered user since Wed 20 Jan 2016
Assistant Professor at Bryn Mawr College. I completed my PhD in 2016 at University of Pennsylvania working under Stephanie Weirich; my dissertation topic was the integration of dependent types into the Haskell programming language. I am a regular contributor to the Glasgow Haskell Compiler (GHC).
|POPL 2020|| Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc|
Kind Inference for Datatypes
|Show activities from other conferences|
View general profile