Keigo Imai
1 SlideShare 37 Abonné 39 Suivis
Personal Information
Entreprise/Lieu de travail
Nagoya Japan
Profession
Software Engineer
À propos
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.
Mots-clés
ocaml type system type level programming session types lenses functional programming domain specific language deadlock freedom concurrency web ocsigen
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

OCaml-MPST / Global Protocol Combinators

il y a 4 ans • 482 Vues