Not registered as user yet

Name: Kotaro Takeda

Affiliation: University of Tokyo, Japan

Contributions

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