Optimizing synthesis with metasketches.

James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze

Browse the full POPL paper archive.