Towards gradual multiparty session typing
Presented at the 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2022 (September 2022), Rostock, Germany
To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of "static MPST"(early feedback, fast execution) and "dynamic MPST"(high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.
|7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2022|
|Organisation||Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands|
Jongmans, S.-S.T.Q. (2022). Towards gradual multiparty session typing. In ACM International Conference Proceeding Series. doi:10.1145/3551349.3561167