Functional programs as compressed data. - Naoki Kobayashi 001; Kazutaka Matsuda; Ayumi Shinohara; Kazuya Yaguchi (High. Order Symb. Comput., 2012)

Efficient Algorithm and Coding for Higher-Order Compression. - Kazuya Yaguchi; Naoki Kobayashi 001; Ayumi Shinohara (DCC, 2014)

Compact bit encoding schemes for simply-typed lambda-terms. - Kotaro Takeda; Naoki Kobayashi 001; Kazuya Yaguchi; Ayumi Shinohara (ICFP, 2016)