@article{oai:nagoya.repo.nii.ac.jp:00013468,
 author = {河口, 信夫 and 坂部, 俊樹 and 稲垣, 康善 and KAWAGUCHI, Nobuo and SAKABE, Toshiki and INAGAKI, Yasuyoshi},
 journal = {日本ソフトウェア科学会大会論文集},
 month = {Oct},
 note = {項の構造の解析,書換え系列の解析､項書換え系の変換など,項やその計算に対する操作を視覚的に支援することを目的とする環境を,最近注目されている関数型言語StandardMLを用いて実現した.本稿ではインタラクティブなシステムの実現が難しいとされている関数型言語を用い,実験的な視覚的システムが効率的に,かつ実用的なレベルで実現できることを示す.ユーザーインタフェースを実現するために,SMLを並列化したConcurrentMLと,eXeneライプラリを用いた.},
 pages = {285--288},
 title = {視覚的項書換え環境のSMLによる実現},
 volume = {11},
 year = {1994}
}