...joined 8 years ago, and has 12202 karma

submissions / comments / favourites

Tikhon Jelvis

I am interested in programming languages, semantics, functional programming (especially Haskell and OCaml), program synthesis and domain-specific languages.

Currently using Haskell for supply chain optimization at Target. Our broad remit is to apply ideas from programming languages to optimization. We're hiring: if this sounds interesting, contact me!

contact: http://jelv.is, [email protected]

I'm always happy to chat or email.