Login / Signup
Inductive Synthesis of Recursive Functional Programs (Poster Abstract).
Bjarte M. Østvold
Published in:
ICFP (1997)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
high level
database
recursive programs
machine learning
programming language