Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Contribution to journalArticleScientificpeer-review

  2. Scopes as Types

    Research output: Contribution to journalArticleScientificpeer-review

View all (2) »

ID: 9850449