Articles, Talks, and Publications

Conference and Workshop Papers

Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract)

Uma Zalakain, Ornela Dardha

Extended abstract at Workshop on Type-Driven Development (TyDe) 2021

π with leftovers: a mechanisation in Agda

Uma Zalakain, Ornela Dardha

In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2021


Type-Checking Session-Typed π-calculus with Coq

Uma Zalakain

MSc Thesis, Univesity of Glasgow, 2019

Evidence-Producing Problem Solvers in Agda

Uma Zalakain

BSc Thesis, Univesity of Strathclyde, 2018