@article{weko_16606_1, author = "川上,祐介 and 鎌田十三郎", title = "パターンマッチに基づくバイトコード変換とその型安全性", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2005", volume = "46", number = "SIG14(PRO27)", pages = "73--73", month = "oct" }