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: Contribution to journal › Article › peer-review

    244 Downloads (Pure)

    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.

    Computer Science

    Keyphrases