論文

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

Session Types Without Sophistry (System Description)

FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science
  • Oleg Kiselyov
  • ,
  • Keigo Imai

12073
開始ページ
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 本文へのリンクあり
ID情報
  • DOI : 10.1007/978-3-030-59025-3_5
  • ISSN : 0302-9743
  • eISSN : 1611-3349
  • ORCIDのPut Code : 80119037
  • SCOPUS ID : 85091339439

エクスポート
BibTeX RIS