Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs

Open in new window