Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. We develop the first theory of distributed multiparty session types (MPST) to support parameterised protocols with i...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 3; no. POPL; pp. 1 - 30
Main Authors:	Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 02.01.2019
Subjects:	Compilers Computing methodologies Concurrent programming languages Distributed computing methodologies Distributed programming languages General programming languages Language types Software and its engineering Software notations and tools Source code generation Go multiparty session types distributed programming indexed roles
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!