Not registered as user yet

Name: Yuu Igarashi

Affiliation: Kyoto University, Japan

All Activities

• Author of On Polymorphic Gradual Typing within the Research Papers-track in ICFP 2017
• Author of A gradually typed polymorphic lambda calculus within the Student Research Competition-track in POPL 2017