Danvy, O. (1997) “Online Type-Directed Partial Evaluation”, BRICS Report Series, 4(53). doi: 10.7146/brics.v4i53.19274.