査読有り 2020年1月 Gradual Typing for Extensibility by Rows Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) Taro Sekiyama, Atsushi Igarashi 記述言語 英語 掲載種別 研究論文(研究会,シンポジウム資料等) エクスポート BibTeX RIS