Yudai Tanabe

Registered user since Fri 29 Jun 2018

Name:Yudai Tanabe
Bio:

Assistant Professor

Country:Japan
Affiliation:Tokyo Institute of Technology
Research interests:Programming language, Type theory, Software maintenance

Contributions