A Type Safe Calculus for Generating Syntax-Directed Editors.

Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Httel

Browse the full PEPM paper archive.