講演・口頭発表等

国際会議
2018年6月7日

Session types without sophistry

IFIP Working Group 2.11, Eighteenth Meeting
  • Oleg Kiselyov
  • ,
  • Keigo Imai

記述言語
英語
会議種別
口頭発表(一般)
開催地
Kyoto University, Japan

リンク情報
URL
https://wiki.hh.se/wg211/index.php/WG211/M18_Kiselyov