Synthesis of Recursive Functional Programs from Examples Bjarte M. Østvold Publication details Publishers: NTNU - IDI, Tapir trykkeri Bjarte M. Østvold Asst. Research Director You are here: Home Publications Doctor dissertat Synthesis of Recursive Functional Programs from Examples