Abraham White

I'm a full-stack developer with a passion for programming language design and type theory. I love the intersection of our messy world with mathematics, and I believe that using math to model problems leads to safe and elegant solutions.