Example-directed synthesis: a type-theoretic interpretation.

Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic

Browse the full POPL paper archive.