Projects per year
Search results
-
Active
Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers
Engineering & Physical Science Research Council
1/04/24 → 31/03/27
Project: Research Councils
-
Nominal String Diagrams
Engineering & Physical Science Research Council
1/12/20 → 31/05/24
Project: Research Councils