2010年
Session Type Inference in Haskell
PLACES 2010: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010, Electronic Proceedings in Theoretical Computer Science
- ,
- ,
- 巻
- 69
- 号
- 開始ページ
- 74
- 終了ページ
- 91
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.4204/EPTCS.69.6
- リンク情報
- ID情報
-
- DOI : 10.4204/EPTCS.69.6
- CiNii Articles ID : 20000618597