Session Type Implementations in Functional Programming Languages
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
- 開催年月日
- 2019年5月27日 - 2019年5月30日
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング