Rafael Caballero. A program transformation for returning states in functional-logic programs. In Siau-Cheng Khoo, Jeremy G. Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. pages 111-120, ACM, 2011. [doi]
Abstract is missing.