論文

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

Session-ocaml: A session-based library with polarities and lenses

COORDINATION 2017: 19th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science
  • Keigo Imai
  • ,
  • Nobuko Yoshida
  • ,
  • Shoji Yuen

10319
開始ページ
99
終了ページ
118
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-319-59746-1_6

リンク情報
DOI
https://doi.org/10.1007/978-3-319-59746-1_6 本文へのリンクあり
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
ID情報
  • DOI : 10.1007/978-3-319-59746-1_6
  • ISSN : 1611-3349
  • ISSN : 0302-9743
  • SCOPUS ID : 85020534344

エクスポート
BibTeX RIS