Kazuya Yaguchi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Compact bit encoding schemes for simply-typed lambda-terms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2014
Efficient Algorithm and Coding for Higher-Order Compression.
Proceedings of the Data Compression Conference, 2014

2012
Functional programs as compressed data.
High. Order Symb. Comput., 2012


  Loading...