Susumu Katayama. An analytical inductive functional programming system that avoids unintended programs. 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 43-52, ACM, 2012. [doi]
Abstract is missing.