年別の研究成果
年別の研究成果
フィンガープリント
Kazutaka Matsudaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Synbit: Synthesizing bidirectional programs using unidirectional sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 2021 10月, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 105.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
Open Access -
Modular Inference of Linear Types for Multiplicity-Annotated Arrows
Matsuda, K., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 456-483 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
Open Access2 被引用数 (Scopus) -
Sparcl: A language for partially-invertible computation
Matsuda, K. & Wang, M., 2020 8月 2, In: Proceedings of the ACM on Programming Languages. 4, ICFP, 118.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
Open Access3 被引用数 (Scopus) -
Embedding invertible languages with binders: A case of the FliPpr language
Matsuda, K. & Wang, M., 2018 9月 17, ACM SIGPLAN Notices. 7 ed. Association for Computing Machinery, Vol. 53. p. 158-171 14 p.研究成果: 書籍の章/レポート/Proceedings › 章 › 査読
1 被引用数 (Scopus) -
Embedding invertible languages with binders: A case of the FlippR language
Matsuda, K. & Wang, M., 2018 9月 17, Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Wu, N. (ed.). Association for Computing Machinery, Inc, p. 158-171 14 p. (Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
3 被引用数 (Scopus)