Cumulative Method: Recursion Removal from Mutual Recursive Programs with One Descent Function. Workshop on Robust Software Construction (WRSC'03). 2003
Towards Self-Applicable GPC: Progress Report. Workshop on Robust Software Construction (WRSC'03). 2003
Systematic Generation of Efficient Pattern Matchers for Compressed Data. Workshop on Robust Software Construction (WRSC'03),. 2003
20世紀の名著名論 John McCarthy: Recursive Functions of Symbolic Expressions and Their Computations by Machine. 情報処理学会会誌. 2003. 44巻3号
Cumulative Method: Recursion Removal from Recursive Programs with One Descent Function. Proc. of The third Asian Workshop on Programming Languages and Systems (APLAS'02). 2002