@inproceedings{1987ID27, author = {, 荻原剛志 and , 鳥居宏次}, booktitle = {情報処理学会第35回(昭和62年後期)全国大会}, title = {クラス階層への型導入に関する考察}, }