Geoffrey William Hamilton, Neil D. Jones. Distillation with labelled transition systems. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 15-24, ACM, 2012. [doi]
Abstract is missing.