Kazuya Yaguchi

According to our database, Kazuya Yaguchi authored at least 3 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Compact bit encoding schemes for simply-typed lambda-terms.

Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2014

Efficient Algorithm and Coding for Higher-Order Compression.

Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara

Proceedings of the Data Compression Conference, 2014

2012

Functional programs as compressed data.

Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi

High. Order Symb. Comput., 2012