論文

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

2019年6月

Lightweight linearly-typed programming with lenses and monads

Journal of Information Processing

Keigo Imai
Jacques Garrigue

巻: 27
号
開始ページ: 431
終了ページ: 444
記述言語: 日本語
掲載種別: 研究論文（学術雑誌）
DOI: 10.2197/ipsjjip.27.431

リンク情報

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

ID情報

DOI : 10.2197/ipsjjip.27.431
ORCIDのPut Code : 65350611
SCOPUS ID : 85069443771

エクスポート: BibTeX RIS

論文リストへ