conf.researchr.org / Ayumi Shinohara
Not registered as user yet
Name:Ayumi Shinohara
Affiliation:Tohoku University, Japan
Contributions
| ICFP 2016 | Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track |
Not registered as user yet
Contributions
| ICFP 2016 | Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track |