2 papers
cs.PL2026
Bidirectional Typing with Freezing, Skeletons, and Ghosts
Wenhao Tang, Shengyi Jiang, Aghilas Y. Boussaa +2
Bidirectional typing makes use of local information flow between functions and arguments. Conventional bidirectional typing only supports unidirectional information flow, typically…
cs.PL2024
Full Iso-recursive Types
Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same…