2019年6月
Lightweight linearly-typed programming with lenses and monads
Journal of Information Processing
- ,
- 巻
- 27
- 号
- 開始ページ
- 431
- 終了ページ
- 444
- 記述言語
- 日本語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2197/ipsjjip.27.431
- リンク情報
-
- DOI
- https://doi.org/10.2197/ipsjjip.27.431
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
- ID情報
-
- DOI : 10.2197/ipsjjip.27.431