Automated Synthesis of Functional Programs with Auxiliary Functions.

Shingo Eguchi Naoki Kobayashi Takeshi Tsukada

Published in: APLAS (2018)

Keyphrases

functional programs
functional language
term rewriting systems
lazy evaluation
logic programs
functional programming
stochastic grammar
programming language
database
machine learning
query optimization
proof planning