R.: Systematic synthesis of functions (2006)

by P Koopman, Plasmeijer
Venue:Selected papers from the Seventh Symposium on Trends in Functional Programming (TFP06