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
- ,
- ,
- 巻
- 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