First we do the math. Then we make the math do the math.
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/popl10_synthesis.pdf
First we do the math. Then we make the math do the math.
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/popl10_synthesis.pdf