Mason: Type- and Name-Guided Program Synthesis. - Jasper Geer; Fox Huston; Jeffrey S. Foster (CoRR, 2026)