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

Kotaro Takeda Naoki Kobayashi Kazuya Yaguchi Ayumi Shinohara

Published in: ICFP (2016)

Keyphrases

encoding schemes
gray code
encoding scheme
lambda calculus
evolutionary algorithm
database systems