|created:||1873 days ago|
I am interested in programming languages, semantics, functional programming (especially Haskell and OCaml), program synthesis, static analysis, type theory and startups (not necessarily in that order). In the near future, I want to combine as many of these as possible!
contact: http://jelv.is, firstname.lastname@example.org
I'm always happy to chat or email.