Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking. - Sabrina Tseng; Erik Hemberg; Una-May O'Reilly (EuroGP, 2022)