@inproceedings{1991ID127, author = {, 井上克郎 and , 鳥居宏次}, booktitle = {電子情報通信学会1991年春季全国大会}, title = {関数型プログラムにおける配列更新性判定の一手法}, }