Department of Computer Science

• Published

  Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large

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

• Published

  Certified Compilation of Financial Contracts

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

• Published

  Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

  Research output: Book/anthology/dissertation/report › Ph.D. thesis › Research

View all (5) »