Member for 8 years, 6 months
Last seen more than 1 year ago
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. (he/him/his)
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
SupporterFeb 12, 2021
AutobiographerOct 2, 2015
This user hasn’t posted yet.