Complete Functional Synthesis

by Viktor Kuncak, Mikaël Mayer, Ruzica Piskac