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