Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewConference contribution

  2. Interactive proofs in higher-order concurrent separation logic

    Research output: Scientific - peer-reviewConference contribution

  3. A Formal C Memory Model for Separation Logic

    Research output: Scientific - peer-reviewArticle

View all (5) »

ID: 4511628