3 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.PL2025
Rows and Capabilities as Modal Effects
Wenhao Tang, Sam Lindley
Effect handlers allow programmers to model and compose computational effects modularly. Effect systems statically guarantee that all effects are handled. Several recent practical e…
cs.PL2025
Modal Effect Types
Wenhao Tang, Leo White, Stephen Dolan +3
Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some…