Kazuya Yaguchi

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Functional Programs

Compression Ratio

Encoding Schemes

Top Venues

High. Order Symb. Comput.

Publications

Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
Compact bit encoding schemes for simply-typed lambda-terms. ICFP (2016)
Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara
Efficient Algorithm and Coding for Higher-Order Compression. DCC (2014)
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
Functional programs as compressed data. High. Order Symb. Comput. 25 (1) (2012)