マエダ　トシユキ   Toshiyuki Maeda   前田 俊行    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	英語
発行・発表の年月	2011/01/25
形態種別	国際会議プロシーディングス
査読	査読あり
標題	Extended Alias Type System using Separating Implication
執筆形態	共著
掲載誌名	Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
掲載区分	国外
担当区分	筆頭著者,責任著者
著者・共著者	Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa
DOI	https://doi.org/10.1145/1929553.1929559