査読有り 2007年7月 The Essence of Lightweight Family Polymorphism Proceedings of 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007) Chieri Saito, Atsushi Igarashi 開始ページ 27 終了ページ 41 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS