Capture checking is a research project that modifies the Scala type system to track references to capabilities in values.

Table of Contents

• Capture Checking Basics
• Capture Checking of Classes
• Capability Polymorphism
• Scoped Caps
• Capability Classifiers
• Checked Exceptions
• Separation Checking
• How to Use the Capture Checker
• Capture Checking Internals