This is your work, valued
Type-Guided Synthesis: Program Synthesis via Type Systems and Program Logics
