A Functional Programming Language with Versions
Yudai Tanabe
Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
2023