１　関数プログラミングの実際
２　並行動作システムのＭｉｒａｎｄａによる仕様記述
３　カテゴリー理論とプログラミング　カルテシアン閉カテゴリー
４　抽象実行　そのフレームワークと実例
５　論理プログラムの抽象解釈を用いた解析
６　一般化論理プログラムのＵｎｆｏｌｄ変換
７　完全遅延評価と部分計算
８　関数・論理型プログラミング言語のための遅延ナローイング計算系
９　単一化としての遅延評価　一般化論理プログラムからのアプローチ
１０　生成関数の導入によるアルゴリズムの導出