Pieter W. M. Koopman, Rinus Plasmeijer. Synthesis of Functions Using Generic Programming. In Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer, editors, Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Volume 5812 of Lecture Notes in Computer Science, pages 25-49, Springer, 2009. [doi]
Abstract is missing.