TY  - RPRT
TI  - Mason: Type- and Name-Guided Program Synthesis
AU  - Jasper Geer
AU  - Fox Huston
AU  - Jeffrey S. Foster
PY  - 2026
UR  - https://arxiv.org/abs/2602.16981
ID  - 2602.16981
ER  -