2019年9月16日
Global Protocol Combinators: static structural multiparty sessions over simply-typed channels
PLAS Group Seminar, School of Computing, University of Kent
- 記述言語
- 英語
- 会議種別
- その他
- 開催地
- University of Kent, Canterbury, UK
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング