Keyword:futures

Publications
Type-Based Termination for Futures Siva Somayyajula and Frank Pfenning EasyChair Preprint 8625
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint 113
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations Kiko Fernandez-Reyes, Dave Clarke and Daniel S. McCain EasyChair Preprint 43