University of Hertfordshire

Proceedings of the ACM on Programming Languages

ISSNs: 2475-1421

ACM Digital Library

Journal

  1. Article › Research › Peer-reviewed
  2. Distributed Programming using Role-Parametric Session Types in Go: Statically-Typed Endpoint APIs for Dynamically-Instantiated Communication Structures

    Castro, D., Hu, R., Jongmans, S-S., Ng, N. & Yoshida, N., 2 Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, 30 p., 29.

    Research output: Contribution to journalArticle

  3. Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 1 Oct 2020, (Accepted/In press) In : Proceedings of the ACM on Programming Languages.

    Research output: Contribution to journalArticle

  4. Statically Verified Refinements for Multiparty Protocols

    Zhou, F., Ferreira, F., Hu, R., Neykova, R. & Yoshida, N., 1 Oct 2020, (Accepted/In press) In : Proceedings of the ACM on Programming Languages.

    Research output: Contribution to journalArticle