Search Results - "• Software and its engineering → Concurrent programming structures"

Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact) by Arteca, Ellen, Tip, Frank, Schäfer, Max

“…JavaScript is a single-threaded programming language, so asynchronous programming is practiced out of necessity to ensure that applications remain responsive…”
Get full text

Multiparty Session Programming with Global Protocol Combinators (Artifact) by Imai, Keigo, Neykova, Rumyana, Yoshida, Nobuko, Yuen, Shoji

“…In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a…”
Get full text

Godot: All the Benefits of Implicit and Explicit Futures (Artifact) by Fernandez-Reyes, Kiko, Clarke, Dave, Henrio, Ludovic, Johnsen, Einar Broch, Wrigstad, Tobias

“…This artifact contains an implementation of data-flow futures in terms of control-flow futures, in the Scala language. In the implementation, we show…”
Get full text

Minimal Session Types (Artifact) by Arslanagić, Alen, Pérez, Jorge A., Voogd, Erik

“…This artifact contains MISTY, a tool that decomposes message-passing programs with session types into programs typable with the minimal session types we…”
Get full text