TY - RPRT TI - Compiling Control as Offline Partial Deduction AU - Vincent Nys AU - Danny De Schreye PY - 2018 UR - https://arxiv.org/abs/1808.05360 ID - 1808.05360 ER -