A Structure Editor with Type-Safe Copy/Paste. - Hans Hüttel; Anja Elisasen Lumholtz Nielsen; Nana Gjerulf Sandberg; Christoffer Lind Andersen; Peter Mikkelsen (IFL, 2022)