Projects per year
Search results
-
Active
Effectful theories of programming languages: mathematically structured programming
1/12/21 → 31/12/23
Project: Research
-
Finished
Type-driven data-science infrastructure for Idris2
UK central government bodies/local authorities, health and hospital authorities
1/04/21 → 28/02/22
Project: Research
-