People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
A hobby in my younger days. 2000年～2002年に作った。 raytracing with rainbow
E-Mail: keigo.imai at gmail.com I moved here (a Japanese company which develops (mostly) in functional programming languages) Research Publications
Version 0.01 (Documentation, tar.bz2) Samples (coming soon) semaphore example; instant messenger; Other Implementation of the Pi-Calculus. Pict, Nomadic Pict; Keigo IMAI
Keigo Imai (Nagoya University) Type inference for session types by Haskell type-level programming. Abstract: Session types statically ensure that communications over a channel ...
Keigo Imai, Shoji Yuen and Kiyoshi Agusa [25] A Model Checking Based on the -Calculus for AIBO Programs Ryo Suetsugu, Shoji Yuen and Kiyoshi Agusa
A hobby in my younger days. 20002002 raytracing with rainbow
E-Mail: keigo.imai at gmail.com I moved here (a Japanese company which develops (mostly) in functional programming languages) Research Publications
Version 0.01 (Documentation, tar.bz2) Samples (coming soon) semaphore example; instant messenger; Other Implementation of the Pi-Calculus. Pict, Nomadic Pict; Keigo IMAI
Linkedin
Nagoya University (Educational Institution; Higher Education industry): Researcher, ...