BiGUL: a formally verified core language for putback-based bidirectional programming.

Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu

Browse the full PEPM paper archive.