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 |