主に関数型言語ないしそれに近い研究コミュニティで発展してきた，プログラミング言語理論（特に高階計算および静的型システム）をさらに発展・応用することにより，研究成果報告書の本文に列挙のとおり，多岐にわたる成果や新たな理論を得た．研究の一部は，コンピュータサイエンス分野で重要視される，水準の高い査読付国際会議にフルペーパーが採択・発表されるなど，良い評価を得た．