論文

査読有り
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
  • Keigo Imai
  • ,
  • Shoji Yuen
  • ,
  • Kiyoshi Agusa

69
開始ページ
74
終了ページ
91
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.4204/EPTCS.69.6

リンク情報
DOI
https://doi.org/10.4204/EPTCS.69.6
CiNii Articles
http://ci.nii.ac.jp/naid/20000618597
URL
http://dblp.uni-trier.de/db/series/eptcs/eptcs69.html#journals/corr/abs-1110-4163
ID情報
  • DOI : 10.4204/EPTCS.69.6
  • CiNii Articles ID : 20000618597

エクスポート
BibTeX RIS