講演・口頭発表等

招待有り
2019年9月16日

Global Protocol Combinators: static structural multiparty sessions over simply-typed channels

PLAS Group Seminar, School of Computing, University of Kent
  • Keigo Imai

記述言語
英語
会議種別
その他
開催地
University of Kent, Canterbury, UK

リンク情報
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
ID情報
  • 共同研究・競争的資金等の研究課題の業績ID : 11567422