Research output

  1. Iron: Managing obligations in higher-order concurrent separation logic

    Research output: Contribution to journalArticleScientificpeer-review

  2. Semi-automated Reasoning About Non-determinism in C Expressions

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

  3. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Contribution to journalArticleScientificpeer-review

View all (13) »

ID: 4511628