Compact bit encoding schemes for simply-typed lambda-terms.

Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara

Browse the full ICFP paper archive.