A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors.

Gregory F. Johnson, Charles N. Fischer

Browse the full POPL paper archive.