論文

査読有り

2018年

Session-ocaml: a Session-based Library with Polarities and Lenses (extended version)

Science of Computer Programming

Keigo Imai
Nobuko Yoshida
Shoji Yuen

巻: 172
号
開始ページ: 135
終了ページ: 159
記述言語: 英語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1016/j.scico.2018.08.005

リンク情報

DOI: https://doi.org/10.1016/j.scico.2018.08.005
共同研究・競争的資金等の研究課題: メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-85058037931&partnerID=MN8TOARS

ID情報

DOI : 10.1016/j.scico.2018.08.005
ISSN : 0167-6423
ORCIDのPut Code : 48466089
SCOPUS ID : 85058037931

エクスポート: BibTeX RIS

論文リストへ