Research output

  1. Towards language-parametric semantic editor services based on declarative type system specifications

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Scopes as Types

    Research output: Contribution to journalArticleScientificpeer-review

  3. A Constraint Language for Static Semantic Analysis Based on Scope Graphs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (4) »

ID: 144382