@techreport{weko_30524_1,
   author	 = "尾上,能之 and 金子,敬一 and 武市,正人",
   title	 = "関数プログラムのコンパイラにおける型情報を用いた効率的な共有解析の実現",
   year 	 = "1993",
   institution	 = "東京大学工学部計数工学科, 東京大学工学部計数工学科, 東京大学工学部計数工学科",
   number	 = "102(1993-PRO-071)",
   month	 = "nov"
}