Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Browse the full POPL paper archive.