Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 29-minute conference talk from PEPM 2025 where researchers from Aalborg University and University of Copenhagen present a generalized editor calculus for creating syntax-directed editors. Learn how this calculus can specify specialized editors for any programming language based on its abstract syntax, unlike previous language-specific approaches. The presentation explains how their editor generator creates type-safe editors from language specifications, with the calculus encoded into a simply typed lambda calculus extended with pairs, booleans, pattern matching and fixed points. This encoding provides a general type safety guarantee applicable to any language instantiation. The research demonstrates how well-typed editor scripts consistently produce well-formed programs through a specialized type system.
