O. Danvy and M. Rhiger, “Compiling Actions by Partial Evaluation, Revisited”, BRICS, vol. 5, no. 13, Jan. 1998.