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

Greg Michaelson

Published in: J. Funct. Program. (2007)

Keyphrases

functional programs
springer verlag
term rewriting systems
lazy evaluation
logic programs
functional language
computer society
stochastic grammar
functional programming
logic programming
maximally stable
data management