TyGuS

Type-Guided Synthesis: Program Synthesis via Type Systems and Program Logics