Browse Dept. of Computer Science by Subject "tasks with effects"
Now showing items 1-1 of 1
(2016-07-11)Today's state-of-the-art concurrent programming models either provide weak safety guarantees, making it easy to write code with subtle errors, or are limited in the class of programs that they can express. I believe that ...