Constraint-based type-directed program synthesis.

Peter-Michael Osera

Published in: TyDe@ICFP (2019)

Keyphrases

program synthesis
recursive programs
expert systems
database systems
co occurrence
inductive logic programming