and Rinus Plasmeijer. Systematic synthesis of functions (2006)

by Pieter Koopman
Venue:7th Symposium on Trends in Functional Programming, TFP