Fusing Direct Manipulations into Functional Programs

Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He 0005, Tao Zan, Zhenjiang Hu. Fusing Direct Manipulations into Functional Programs. Proceedings of the ACM on Programming Languages, 8(POPL):1211-1238, January 2024. [doi]

Abstract

Abstract is missing.