@techreport{weko_232936_1,
   author	 = "山田,桃香 and 大久保,弘崇 and 粕谷,英人 and 山本,晋一郎",
   title	 = "関数型プログラミング言語に対する初学者に寄り添う型推論系",
   year 	 = "2024",
   institution	 = "愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部",
   number	 = "14",
   month	 = "feb"
}