Kitzelmann, Emanuel

1 publications

JMLR 2006 Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach Emanuel Kitzelmann, Ute Schmid