Complete functional synthesis.

Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter

Browse the full PLDI paper archive.