9 citations · 17 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Occam Learning Meets Synthesis Through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong +1
The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited.…
cs.PL2021
Analytical Differential Calculus with Integration
Han Xu, Zhenjiang Hu
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential…
cs.PL2020
Retentive Lenses
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko +1
Based on Foster et al.'s lenses, various bidirectional programming languages and systems have been developed for helping the user to write correct data synchronisers. The two well-…