65 citations · 340 across the 42 of their papers we have counts for
6 papers · 1 filter
On the Expressiveness of Mixed Choice Sessions
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
On the Expressiveness of Mixed Choice Sessions (Technical Report)
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida +1
Go is a popular statically-typed industrial programming language. To aid the type safe reuse of code, the recent Go release (Go 1.18) published on 15th March 2022 includes bounded…
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida +1
Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we pres…
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Lorenzo Gheri, Ivan Lanese, Neil Sayers +2
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channe…