π-calculus, Session Types research at the University of Oxford
Session types provide a typing discipline for communication systems, and a number of programming languages are integrated with session types. This paper provides a survey of programming language implementations which use the structuring mechanism from multiparty session types (MPST). The theory of MPST guarantees that processes following a predefined communication protocol (a multiparty session) are free from communication errors and deadlocks. We discuss the top-down, bottom-up and hybrid MPST frameworks, and compare their positive and negative aspects, through a Rust MPST implementation framework, Rumpsteak. We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.
@inproceedings{Y2024,
author = {Nobuko Yoshida},
title = {{Programming Language Implementations with Multiparty Session Types}},
booktitle = {Active Object Languages: Current Research Trends},
pages = {147--165},
publisher = {Springer Nature Switzerland},
year = 2024
}
@inproceedings{Y2024,
author = {Nobuko Yoshida},
title = {{Programming Language Implementations with Multiparty Session Types}},
booktitle = {Active Object Languages: Current Research Trends},
pages = {147--165},
publisher = {Springer Nature Switzerland},
doi = "10.1007/978-3-031-51060-1_6",
year = 2024
}