Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.

Woosuk Lee Hangyeol Cho

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
facial expressions
stochastic grammar
recursive programs
natural language
functional programming
data structure
data model
programming language