年別の研究成果
年別の研究成果
フィンガープリント
Atsushi Ohoriが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
-
A Compilation Method for Dynamic Typing in ML
Ohori, A. & Ueno, K., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). Springer Science and Business Media Deutschland GmbH, p. 140-159 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).研究成果: Conference contribution
-
Finitary polymorphism for optimizing type-directed compilation
Ohori, A., Ueno, K. & Mima, H., 2018 9, In: Proceedings of the ACM on Programming Languages. 2, ICFP, 3236776.研究成果: Article › 査読
Open Access -
A Calculus with partially dynamic records for typeful manipulation of json objects
Ohori, A., Ueno, K., Sasaki, T. & Kikuchi, D., 2016 7 1, 30th European Conference on Object-Oriented Programming, ECOOP 2016. Lerner, B. S. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 181-1825 1645 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 56).研究成果: Conference contribution
1 被引用数 (Scopus) -
A Foreign Language Interface from ML to Shell
Ueno, K. & Ohori, A., 2016 8 1, In: New Generation Computing. 34, 3, p. 239-256 18 p.研究成果: Article › 査読
-
A fully concurrent garbage collector for functional programs on multicore processors
Ueno, K. & Ohori, A., 2016 9 4, In: ACM SIGPLAN Notices. 51, 9, p. 421-433 13 p.研究成果: Article › 査読
3 被引用数 (Scopus)