1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Colin S. Gordon, Chaewon Yun
We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on…