The tasks with effects model for safe concurrency.

Stephen Heumann, Vikram S. Adve, Shengjie Wang

Browse the full PPoPP paper archive.