David Castro-Perez, 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
POPL, 2019.
@article{POPL-2019-CastroHJNY,
author = "David Castro-Perez and Raymond Hu and Sung-Shik Jongmans and Nicholas Ng and Nobuko Yoshida",
doi = "10.1145/3290342",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "30",
publisher = "{ACM}",
title = "{Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures}",
volume = 3,
year = 2019,
}