100
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...