Presentations

Open access International coauthorship International presentation

Aug 26, 2021

Verifying Multiparty Communication Protocols using ML Type Systems

ML'21: ML Workshop 2021, co-located with ICFP 2021

Keigo Imai
Rumyana Neykova
Nobuko Yoshida
Shoji Yuen

Language: English
Presentation type: Oral presentation (general)

Link information

Research Projects: Network of automata with data based on compositional active learning
Research Projects: Session type embedding for practical concurrent/distributed programming
Research Projects: Session-typed programming in unreliable communication environment
URL: https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/3/Verifying-Multiparty-Communication-Protocols-using-ML-Type-Systems Open access

To Presentations list