Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741

Greg Michaelson. Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. Journal of Functional Programming, 17(3):428-429, 2007. [doi]

Abstract

Abstract is missing.