Yudai Tanabe

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Functional Programming

Semantic Data Models

Denotational Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Compilation Semantics for a Programming Language with Versions. CoRR (2023)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Compilation Semantics for a Programming Language with Versions. APLAS (2023)
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
BatakJava: An Object-Oriented Programming Language with Versions. SLE (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Step toward Programming with Versions in Real-World Functional Languages. COP@ECOOP (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Functional Programming Language with Versions. Art Sci. Eng. Program. 6 (1) (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Functional Programming Language with Versions. CoRR (2021)
Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
A Context-Oriented Programming Approach to Dependency Hell. COP@ECOOP (2018)
Yudai Tanabe, Koki Kagari, Yuki Kitanaka, Kazuhiro Takeuchi, Sachio Hirokawa
Finding Key Integer Values in Many Features for Learners' Academic Performance Prediction. ICETC (2017)