@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00052620,
 author = {市川, 和央},
 month = {Dec},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 稲葉 雅幸, 東京大学教授 本位田 真一, 東京大学教授 千葉 滋, 東京大学講師 中山 英樹, 東京大学講師 蜂須賀 恵也, 国立情報学研究所准教授 蓮尾 一郎},
 title = {A Platform for Composable and Statically-Checkable Domain-Specific Languages},
 year = {2017}
}