External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Multiparty GV: functional multiparty session types with certified deadlock freedom

Jules Jacobs, Stephanie Balzer, Robbert Krebbers. Multiparty GV: functional multiparty session types with certified deadlock freedom. Proceedings of the ACM on Programming Languages, 6(ICFP):466-495, 2022. [doi]

Authors

Jules Jacobs

This author has not been identified. It may be one of the following persons: Look up 'Jules Jacobs' in Google

Stephanie Balzer

This author has not been identified. Look up 'Stephanie Balzer' in Google

Robbert Krebbers

This author has not been identified. It may be one of the following persons: Look up 'Robbert Krebbers' in Google
runs on