Systematic synthesis of functions

Pieter W. M. Koopman, Marinus J. Plasmeijer. Systematic synthesis of functions. In Henrik Nilsson, editor, Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Volume 7 of Trends in Functional Programming, pages 35-54, Intellect, 2006.

Abstract

Abstract is missing.