research
∙
08/16/2018
Compiling Control as Offline Partial Deduction
We present a new approach to a technique known as compiling control, who...
research
∙
08/24/2017