Learning functional programs with function invention and reuse

Andrei Diaconu

Inductive programming (IP) is a field whose main goal is synthesising programs that respect a set of examples, given some form of background knowledge. This paper is concerned with…