@inproceedings{weko_120474_1, author = "堀内,謙二", title = "Flat GHCプログラムの抽象解釈", booktitle = "全国大会講演論文集", year = "1991", volume = "第42回", number = "ソフトウェア", pages = "57--58", month = "feb" }