Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.

Tomas Petricek, Don Syme

Browse the full PADL paper archive.