@phdthesis{oai:nagoya.repo.nii.ac.jp:00014524,
 author = {今井, 敬吾},
 month = {Mar},
 note = {名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日},
 school = {名古屋大学, Nagoya University},
 title = {関数型プログラミング言語における通信記述の型付け},
 year = {2012}
}