Program synthesis from polymorphic refinement types.

Nadia Polikarpova Ivan Kuraj Armando Solar-Lezama

Published in: PLDI (2016)

Keyphrases

program synthesis
recursive programs
neural network
database
information retrieval
reinforcement learning
keywords
relational databases
learning process
general purpose
cellular automata
constraint satisfaction
inductive logic programming