ML Anthology
Authors
Search
About
Kitzelmann, Emanuel
1 publications
JMLR
2006
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann
,
Ute Schmid