Automated Temporal Verification for Algebraic Effects.

Yahui Song, Darius Foo, Wei-Ngan Chin

Browse the full APLAS paper archive.