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. Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Authors

David Castro

This author has not been identified. Look up 'David Castro' in Google

Raymond Hu

This author has not been identified. Look up 'Raymond Hu' in Google

Sung-Shik Jongmans

This author has not been identified. Look up 'Sung-Shik Jongmans' in Google

Nicholas Ng

This author has not been identified. Look up 'Nicholas Ng' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google