65 citations · 340 across the 42 of their papers we have counts for
Showing 2016 · cs.PLShow all
3 papers · 2 filters
cs.PL2016
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Julien Lange, Nicholas Ng, Bernardo Toninho +1
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) program…
cs.PL2016★ 10 cited
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…
cs.PL2016★ 9 cited
Using session types as an effect system
Dominic Orchard, Nobuko Yoshida
Side effects are a core part of practical programming. However, they are often hard to reason about, particularly in a concurrent setting. We propose a foundation for reasoning abo…