@phdthesis{oai:teapot.lib.ocha.ac.jp:00041352,
 author = {TSUSHIMA, Kanae and 対馬, かなえ},
 month = {Sep},
 note = {application/pdf, 学位論文, お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・平成25年9月30日授与(甲第100号)},
 school = {お茶の水女子大学},
 title = {Practicable type debugging for functional languages},
 year = {2013}
}