A type-safe structure editor calculus. - Christian Godiksen; Thomas Herrmann; Hans Hüttel; Mikkel Korup Lauridsen; Iman Owliaie (PEPM@POPL, 2021)