2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Yichen Xu, Oliver Bračevac, Cao Nguyen Pham +1
Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, the…