査読有り 2006年 Union types for object-oriented programming Proceedings of the ACM Symposium on Applied Computing A. Igarashi, H. Nagira 巻 2 号 開始ページ 1435 終了ページ 1441 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS