Publications


An axiomatic basis for bidirectional programming

Hsiang-Shang Ko and Zhenjiang Hu

Symposium on Principles of Programming Languages (POPL) 2018