Functional programs as compressed data

Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi. Functional programs as compressed data. Higher-Order and Symbolic Computation, 25(1):39-84, 2012. [doi]

Abstract

Abstract is missing.