TY  - RPRT
TI  - Potential Functions as Types
AU  - Harrison Grodin
AU  - Ethan Chu
AU  - Runming Li
AU  - Jan Hoffmann
AU  - Robert Harper
PY  - 2026
UR  - https://arxiv.org/abs/2607.08547
ID  - 2607.08547
ER  -