関数合成に基づく計算体系―定義と基本的性質
Ｄｅｒｉｖｉｎｇ　Ｅｆｆｉｃｉｅｎｔ　Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｓ　ｂｙ　Ｃｏｎｓｔｒｕｃｔｉｎｇ　Ｍｅｄｉｏ‐ｔｙｐｅｓ
グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
自由圏の構成と構成的論理における推論の並べ替えについて
制約付き型理論の実現
ファーストクラスな環境と多相型
Ｍｏｎａｄｉｃ　ＳｔｙｌｅでのＭＬ風のｒｅｆオペレータに対する多重定義を用いた型付けについて
総称関数のＰａｒａｍｅｔｒｉｃｉｔｙとＳｙｎｔａｃｔｉｃな性質の関係について
Ａ“Ｆａｓｔ”Ｒｅｐｒｅｓｅｎｔａｔｉｏｎ　ｏｆ　ｔｈｅ　Ｌａｍｂｄａ　Ｃａｌｃｕｌｕｓ
Ｋｌａｕｓ　Ｂｅｒｋｌｉｎｇ
制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕