conf.researchr.org / Yuu Igarashi
Not registered as user yet
Name: Yuu Igarashi
Affiliation: Kyoto University, Japan
Contributions
| ICFP 2017 | Author of On Polymorphic Gradual Typing within the Research Papers-track |
| POPL 2017 | Author of A gradually typed polymorphic lambda calculus within the Student Research Competition-track |