論文

査読有り
2020年4月

Session Types without Sophistry (System Description)

FLOPS 2020: International Symposium on Functional and Logic Programming (LNCS, to appear)
  • Oleg Kiselyov
  • ,
  • Keigo Imai

記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)