Rows and Capabilities as Modal Effects

Wenhao Tang, Sam Lindley. Rows and Capabilities as Modal Effects. Proceedings of the ACM on Programming Languages, 10(POPL):923-950, 2026. [doi]

Abstract

Abstract is missing.