Type systems, pure functional programming, and generative art. During the day, I`m a compiler engineer working on the OCaml compiler at Jane Street. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. Profile ©