論文

査読有り 本文へのリンクあり
2020年

Session Types Without Sophistry (System Description)

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12073)
  • Oleg Kiselyov
  • ,
  • Keigo Imai

開始ページ
66
終了ページ
87
記述言語
掲載種別
論文集(書籍)内論文
DOI
10.1007/978-3-030-59025-3_5

リンク情報
DOI
https://doi.org/10.1007/978-3-030-59025-3_5
URL
http://link.springer.com/content/pdf/10.1007/978-3-030-59025-3_5
URL
https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/pdf/3-3.pdf 本文へのリンクあり

エクスポート
BibTeX RIS