Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewArticle

  2. RustBelt: securing the foundations of the rust programming language

    Research output: Scientific - peer-reviewArticle

  3. Interactive proofs in higher-order concurrent separation logic

    Research output: Scientific - peer-reviewConference contribution

View all (7) »

ID: 4511628