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.
- Type-Safe Programming with Versions (Project Page)