論文

査読有り
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
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング

エクスポート
BibTeX RIS