受賞

2021年1月

第37回高橋奨励賞

日本ソフトウェア科学会

タイトル
自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式