5 October 2015
POPL 2016
Our paper on optimal program synthesis, Optimizing Synthesis with Metasketches, will appear at POPL 2016!
Our paper on optimal program synthesis, Optimizing Synthesis with Metasketches, will appear at POPL 2016!