@article{weko_73761_1,
   author	 = "濱口,毅 and 酒井,正彦 and 馬場,正貴 and 阿草,清滋",
   title	 = "例外処理を持つ関数型プログラムの停止性・非停止性証明法",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2011",
   volume	 = "4",
   number	 = "2",
   pages	 = "13--30",
   month	 = "mar"
}