Controlling program flow with capabilities in Scala

Effects as Capabilities in Scala

Capture Checking in Scala