Martin Hofmann 0008. IGOR2 - an analytical inductive functional programming system: tool demo. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 29-32, ACM, 2010. [doi]
Abstract is missing.