Sign in

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

Kotaro TakedaNaoki KobayashiKazuya YaguchiAyumi Shinohara
Published in: ICFP (2016)
Keyphrases
  • encoding schemes
  • gray code
  • encoding scheme
  • lambda calculus
  • evolutionary algorithm
  • database systems