Keigo Imai
1 SlideShare 37 Followers 39 Folgens
Personal Information
Unternehmen/Arbeitsplatz
Nagoya Japan
Beruf
Software Engineer
Info
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
ocaml type system type level programming session types lenses functional programming domain specific language deadlock freedom concurrency web ocsigen
Mehr anzeigen

Präsentationen

(1)

OCaml-MPST / Global Protocol Combinators

Vor 4 Jahren • 482 Aufrufe
Personal Information
Unternehmen/Arbeitsplatz
Nagoya Japan
Beruf
Software Engineer
Info
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
ocaml type system type level programming session types lenses functional programming domain specific language deadlock freedom concurrency web ocsigen
Mehr anzeigen