Ute Schmid & Emanuel Kitzelmann 
Approaches and Applications of Inductive Programming [PDF ebook] 
Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

Invited Papers.- Deriving a Relationship from a Single Example.- Synthesis of Functions Using Generic Programming.- Regular Papers.- Inductive Programming: A Survey of Program Synthesis Techniques.- Incremental Learning in Inductive Programming.- Enumerating Well-Typed Terms Generically.- Generalisation Operators for Lists Embedded in a Metric Space.- Porting Igor II from Maude to Haskell.- Automated Method Induction: Functional Goes Object Oriented.- Recent Improvements of Magic Haskeller.