About Atsushi Igarashi

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

Lists

Timeline

{username} has no activity yet