According to our database1, Kazuya Yaguchi authored at least 3 papers between 2012 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Compact bit encoding schemes for simply-typed lambda-terms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Efficient Algorithm and Coding for Higher-Order Compression.
Proceedings of the Data Compression Conference, 2014
Functional programs as compressed data.
High. Order Symb. Comput., 2012