Up a level |
Muroya, Koko (2020). Hypernet semantics of programming languages. University of Birmingham. Ph.D.
Cheung, Wai Tak (2021). Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation. University of Birmingham. Ph.D.