論文

査読有り
2010年

Session Type Inference in Haskell

Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010.
  • Keigo Imai
  • ,
  • Shoji Yuen
  • ,
  • Kiyoshi Agusa

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

リンク情報
DOI
https://doi.org/10.4204/EPTCS.69.6
URL
http://dblp.uni-trier.de/db/series/eptcs/eptcs69.html#journals/corr/abs-1110-4163

エクスポート
BibTeX RIS