Research output

  1. Compositional soundness proofs of abstract interpreters

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

  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Contribution to journalArticleScientificpeer-review

  3. Scopes as Types

    Research output: Contribution to journalArticleScientificpeer-review

View all (5) »

ID: 152517