A Type Safe Calculus for Generating Syntax-Directed Editors. - Benjamin Bennetzen; Nikolaj Rossander Kristensen; Andreas Tor Mortensen; Peter Buus Steffensen; Sune Skaanning Engtorp; Hans Hüttel (PEPM, 2025)

A generalised editor calculus (Short Paper). - Benjamin Bennetzen; Peter Buus Steffensen; Hans Hüttel; Nikolaj Rossander Kristensen; Andreas Tor Mortensen (CoRR, 2025)