TY  - RPRT
TI  - A Word Sampler for Well-Typed Functions
AU  - Breandan Considine
PY  - 2025
UR  - https://arxiv.org/abs/2512.01036
ID  - 2512.01036
ER  -