|created:||September 12, 2011|
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, firstname.lastname@example.org
I'm always happy to chat or email.