6 citations · 9 across the 14 of their papers we have counts for
1 paper · 1 filter
Taro Sekiyama, Hiroshi Unno
Type-and-effect systems are a widely-used approach to program verification, verifying the result of a computation using types, and the behavior using effects. This paper extends an…