Category: version-programming
Tanabe’s Dissertation was Introduced in Journal of Functional Programming
Yudai Tanabe’s doctoral dissertation “A Programming Language with Versions” was introduced in “the PhD Abstracts” in the Journal of Functional Programming.
Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC
The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.
👉 Project
Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2023)

A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023).
This paper was also presented at ‹Programming› 2022.
Poster Presentations at PPL 2023
The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.



- Ayumu Saito, Reynald Affeldt. An Attempt to Extend the Formal Foundations of Probabilistic Programming Language with Syntax
- Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong. A Domain-Specific Language for Customizing Visual Debugger Views
- Luthfan Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. Toward Parameterized Versions in Object-oriented Version Programming
Doctoral thesis defense by Yudai Tanabe

Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language.
SLE 2022 Paper on BatakJava, an OOP Language With Versions

The following paper is accepted by and presented at the International Conference on Software Language Engineering (SLE 2022), on of the SPLASH 2022 conferences held in December 2022 in Auckland, New Zealand. This is one of the results of our Programming with Versions project, which enables to use definitions of different versions in one program, and extends the core idea to an object-oriented programming language.
A COP 2022 Paper on Programming with Versions in Real-World Functional Languages
A paper entitled “A Step toward Programming with Versions in Real-World Functional Languages”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara was accepted by and presented at International Workshop on Context-Oriented Programming and Advanced Modularity.

- Type-Safe Programming with Versions (Project Page)
Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2022)
A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022).


Invited Talks on Version Programming Languages at COP’21
Tanabe and Lubis give the invited talks at the International Workshop on Context-Oriented Programming and Advanced Modularity (COP’21).
- Yudai Tanabe, A Language to Safely Exploit Multi-Version Modules at the Expression-level
- Luthfan Anshar Lubis, Object-Oriented Programming with Versions