Type-and-example-directed program synthesis.

Peter-Michael Osera, Steve Zdancewic

Browse the full PLDI paper archive.