Automated Synthesis of Functional Programs with Auxiliary Functions.

Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada

Browse the full APLAS paper archive.