Uma Zalakain, Ornela Dardha
Extended abstract at Workshop on Type-Driven Development (TyDe) 2021
In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2021
Uma Zalakain
MSc Thesis, Univesity of Glasgow, 2019
BSc Thesis, Univesity of Strathclyde, 2018