Hazelnut: a bidirectionally typed structure editor calculus
Cyrus Omar, Ian Voysey, Michael L. Hilton, Jonathan Aldrich, Matthew A. Hammer · 2016
Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also simplifies matters for tool designers, because they do not need to contend with malformed program text.