|created:||1781 days ago|
Hello, I'm Tikhon Jelvis|
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 for any reason.