About Atsushi Igarashi

Prof. at Kyoto University. Research interest in programming languages, in particular, type systems and program verification.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet