Not registered as user yet

Name: Ayumi Shinohara

Affiliation: Tohoku University, Japan

Contributions

ICFP 2016Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track