2017年1月
Session-ocaml: a session-based library with polarities and lenses (Dagstuhl seminar 17501)
Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
今井 敬吾
イマイ ケイゴ (Keigo Imai)
更新日: 04/11