@inproceedings{weko_125667_1,
   author	 = "大久保,弘崇 and 坂部,俊樹 and 稲垣,康善",
   title	 = "SimpleObjectに対する型検査 : 型制約言語と推論アルゴリズム",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1994",
   volume	 = "第48回",
   number	 = "ソフトウェア",
   pages	 = "281--282",
   month	 = "mar"
}