Type-driven Neural Programming by Example. - Kiara Grouwstra (CoRR, 2020)