Keigo Imai
1 SlideShare 37 Seguidores 39 Siguiendos
Personal Information
Organización/Lugar de trabajo
Nagoya Japan
Ocupación
Software Engineer
Acerca de
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.
Etiquetas
ocaml type system type level programming session types lenses functional programming domain specific language deadlock freedom concurrency web ocsigen
Ver más
  • Documentos
  • Infografías
Más reciente Más populares

OCaml-MPST / Global Protocol Combinators

Hace 4 años • 484 Visualizaciones