...joined 8 years ago, and has 12181 karma
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.