「バージョン付き関数型プログラミング言語」の発表 (@ ‹Programming› 2023)
田辺、Luthfan、青谷、増原による論文「A Functional Programming Language with Versions」がThe International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023)で発表されます。
本論文は、昨年の同会議‹Programming› 2022でも発表されています。
- Type-Safe Programming with Versions (Project Page)