2020年
Multiparty Session Programming with Global Protocol Combinators
ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics
- ,
- ,
- ,
- 巻
- 166
- 号
- 開始ページ
- 9:1
- 終了ページ
- 9:30
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- DOI
- 10.4230/LIPIcs.ECOOP.2020.9
- リンク情報
-
- DOI
- https://doi.org/10.4230/LIPIcs.ECOOP.2020.9 本文へのリンクあり
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
- ID情報
-
- DOI : 10.4230/LIPIcs.ECOOP.2020.9