Core developer on Quack programming language.

Programming languages researcher focused on static analysis, functional programming, type theory and reentrant parsing systems.

Check me out on my Github profile.