he/him/his. Trying to make software a bit better. Interested in compilers, language features, type systems & static/dynamic program analysis.