@techreport{weko_30357_1,
   author	 = "浅井,健一 and 増原,英彦 and 米澤,明憲",
   title	 = "副作用を含む関数型プログラムの部分評価に向けて",
   year 	 = "1995",
   institution	 = "東京大学大学院理学系研究科情報科学専攻, 東京大学大学院理学系研究科情報科学専攻／教養学部情報・図形科学教室, 東京大学大学院理学系研究科情報科学専攻",
   number	 = "114(1995-PRO-004)",
   month	 = "nov"
}