横田一正
新しいプログラミング・パラダイム⑤ 型推論とML
1988年03月号
新しいプログラミング・パラダイム⑭ レコード・プログラミング
1988年12月号