Automatic synthesis of typed λprograms on term algebras (1985)

by C Böhm, A Berarducci
Venue:Th. Comp. Sc