年別の研究成果
年別の研究成果
フィンガープリント
Oleg Evgenievich Kiselyovが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 5 類似のプロファイル
ネットワーク
国レベルでの最近の外部協力。点をクリックして確認してください。
研究成果
-
Lambek Grammars as Second-Order Abstract Categorial Grammars
Kiselyov, O. & Hoshino, Y., 2020, New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, 2019, Revised Selected Papers. Sakamoto, M., Okazaki, N., Mineshima, K. & Satoh, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 231-243 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12331 LNAI).研究成果: Conference contribution
-
Many more predecessors: A representation workout
Kiselyov, O. L. E. G., 2020 1 1, (Accepted/In press) In: Journal of Functional Programming. e7.研究成果: Article › 査読
-
Session Types Without Sophistry: System Description
Kiselyov, O. & Imai, K., 2020, Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 66-87 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).研究成果: Conference contribution
-
Effects without monads: Non-determinism Back to the Meta Language
Kiselyov, O., 2019 5 16, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 294, p. 15-40 26 p.研究成果: Conference article › 査読
Open Access3 被引用数 (Scopus) -
Generating mutually recursive definitions
Yallop, J. & Kiselyov, O., 2019 1 14, PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019. Hermenegildo, M. & Igarashi, A. (eds.). Association for Computing Machinery, Inc, p. 75-81 7 p. (PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019).研究成果: Conference contribution
4 被引用数 (Scopus)