講演・口頭発表等

Session Type Implementations in Functional Programming Languages

NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
  • Keigo Imai

開催年月日
2019年5月27日 - 2019年5月30日
記述言語
英語
会議種別
口頭発表(一般)

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