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

David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Fingerprint

Dive into the research topics of 'Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures'. Together they form a unique fingerprint.

Engineering & Materials Science