2021年8月26日
Verifying Multiparty Communication Protocols using ML Type Systems
ML'21: ML Workshop 2021, co-located with ICFP 2021
- ,
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
- URL
- https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/3/Verifying-Multiparty-Communication-Protocols-using-ML-Type-Systems 本文へのリンクあり