A programmer in Nagoya. Relatively fluent in Haskell, OCaml, C++ and Java (particularly in web-related stuff). Doing a project in OCaml for two months (now Dec 2010). Also learning Scala.
Loves process calculi (especially the Pi-Calculus) and their type system. Haskell type-level hackery is also fun.
I'm in Nagoya for 10 years.
Tags
ocamltype systemtype level programmingsession typeslensesfunctional programmingdomain specific languagedeadlock freedomconcurrencywebocsigen
We’ve updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
