論文

査読有り 本文へのリンクあり
2020年

Multiparty Session Programming with Global Protocol Combinators

ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics
  • Keigo Imai
  • ,
  • Rumyana Neykova
  • ,
  • Nobuko Yoshida
  • ,
  • Shoji Yuen

166
開始ページ
9:1
終了ページ
9:30
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.4230/LIPIcs.ECOOP.2020.9

リンク情報
DOI
https://doi.org/10.4230/LIPIcs.ECOOP.2020.9 本文へのリンクあり
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
URL
https://drops.dagstuhl.de/opus/volltexte/2020/13166/
ID情報
  • DOI : 10.4230/LIPIcs.ECOOP.2020.9
  • ORCIDのPut Code : 105161825

エクスポート
BibTeX RIS