Jun Furuse

Jun Furuse, OCaml programmer no longer using Haskell at work. Founder and CEO of DaiLambda, and Scientific Director at Tezos Japan Foundation. Playing around Tezos. Specialties: Programming language, type system, compilation, functional programming (OCaml and Haskell). Interested in building robust and scalable systems using strongly typed languages and formal methods.