Department of Computer Science

• Published

  Purity of an ST monad: Full abstraction by semantically typed back-translation

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic

  Research output: Working paper/Preprint › Preprint › Research

View all (26) »