1 code implementation • 14 Sep 2020 • Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, guaranteeing communication safety properties such as deadlock freedom.
Programming Languages Distributed, Parallel, and Cluster Computing
3 code implementations • 24 May 2020 • Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler.
Programming Languages Logic in Computer Science