Systematic synthesis of functions (2006)

by P Koopman, R Plasmeijer
Venue:In H. Nilsson (Ed.), Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006 (p. 35-54). Intellect