G. W. Hamilton. Distillation: extracting the essence of programs. In Ganesan Ramalingam, Eelco Visser, editors, Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007. pages 61-70, ACM, 2007. [doi]
Abstract is missing.