論文

査読有り 本文へのリンクあり
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
https://okmij.org/ftp/meta-programming/sessions/description.pdf 本文へのリンクあり
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
論文リストへ