Functional programs as compressed data.
High. Order Symb. Comput. Vol.25, pp.39-84 (2012), [peer-reviewed]
Abstract / 概要
We propose an application of programming language techniques to lossless data compression, where tree data are compressed as functional programs that gener