Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
