Lazy but Effective Functional Synthesis.

Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta

Browse the full VMCAI paper archive.