研究課題
基盤研究(C)
従来の単相の型システムを拡張して多相の型システムを提案し、その健全性など各種の性質を証明した。また、健全性は定理証明系Coqを用いて定式化した。限定継続命令の定義を与えるインタプリタを系統的に変換することでスタックの複製などを行う低レベレな処理系を導けることを示した。それに基づいて、実際に機械語を出力するコンパイラを作成した。また、限定継続命令の応用とそてprintfの型付けが限定継続を用いると極めて自然に書けることを示した。
すべて 2010 2009 2008 2007
すべて 雑誌論文 (13件) (うち査読あり 13件) 学会発表 (9件)
コンピュータソフトウェア 16pages(掲載決定済み)
第12回プログラミングおよびプログラミング言語ワークショップ論文集
ページ: 34-48
ページ: 64-76
ページ: 115-129
ページ: 191-205
ページ: 206-220
Proceedings of the 2009 ACM SIGPLAN Workshop on ML
ページ: 49-60
Higher-Order and Symbolic Computation Vol.22,No.3(Springer)
ページ: 275-291
コンピュータソフトウェア Vol.26,No.2
ページ: 3-17
第1 1回プログラミングおよびプログラミング言語ワークショップ
ページ: 149-162
第11回プログラミングおよびプログラミング言語ワークショップ
ページ: 163-177
5th Asian Symposium on Programming Languages and Systems (LNCS 4807)
ページ: 239-254
A Chapter of Trends in Functional Programming Vol.6
ページ: 63-78
