LARA Lecture 12: Synthesis from Relations and Types Synthesis from Relations and Types Synthesis from Free-Form Queries More information on synthesis: Communications of ACM article on synthesis procedures Complete Completion using Types and Weights Synthesizing Java Expressions from Free-Form Queries
