プログラミングにおいてグラフ構造は強力で一般性の高いデータ構造である．グラフ構造は命令型言語ではヒープ上のポインタ構造に対する破壊的代入として扱われるが，その正当性検証は容易でない．一方，純粋関数型言語で一般のグラフ構造を扱う方法は未確立であった．

そこで本研究では，新たな純粋関数型言語λGTの設計を行い，概念実証のための処理系を構築した．λGTはグラフをimmutableな第一級データ構造として表現し，グラフ変換計算モデルに基づくパターンマッチングによって分解合成を行う．λGTの構文と意味論を厳密に定義するとともに，λGTの型体系としてFGTを設計して型付け規則を与えた．