Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
Programming Research Group @ Science Tokyo (nee TokyoTech)
prg-titech
Department of Mathematical and Computing Sciences, Institute of Science Tokyo (formerly Tokyo Institute of Technology)
Tokyo, Japan