Ornela Dardha
University of Glasgow
H-index: 15
Europe-United Kingdom
Top articles of Ornela Dardha
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
MAG!: The Role of Replication in Typing Failure-Prone Communication | arXiv preprint arXiv:2404.16213 | Matthew Alan Le Brun Ornela Dardha | 2024/4/24 |
Session Types for the Transport Layer: Towards an Implementation of TCP | arXiv preprint arXiv:2404.05478 | Samuel Cavoj Ivan Nikitin Colin Perkins Ornela Dardha | 2024/4/8 |
MAG: Types for Failure-Prone Communication | Matthew Alan Le Brun Ornela Dardha | 2023/4/17 | |
Prioritise the best variation | Logical Methods in Computer Science | Wen Kokke Ornela Dardha | 2023/12/18 |
Structural Subtyping as Parametric Polymorphism | Proceedings of the ACM on Programming Languages | Wenhao Tang Daniel Hillerström James McKinna Michel Steuwer Ornela Dardha | 2023/10/16 |
EXPRESSing Session Types | arXiv preprint arXiv:2309.07303 | Ilaria Castellani Ornela Dardha Luca Padovani Davide Sangiorgi | 2023/9/13 |
Traced Types for Safe Strategic Rewriting | arXiv preprint arXiv:2304.14154 | Rongxiao Fu Ornela Dardha Michel Steuwer | 2023/4/27 |
Session Types Revisited: A Decade Later | Ornela Dardha Elena Giachino Davide Sangiorgi | 2022/9/20 | |
Comparing type systems for deadlock freedom | Journal of Logical and Algebraic Methods in Programming | Ornela Dardha Jorge A Pérez | 2022/1/1 |
Co-Contextual Typing Inference for the Linear π-Calculus in Agda | TyDe. http://www. dcs. gla. ac. uk/∼ ornela/publications/ZDb21. pdf | Uma Zalakain Ornela Dardha | 2021 |
with Leftovers: A Mechanisation in Agda | Uma Zalakain Ornela Dardha | 2021/6/8 | |
Separating sessions smoothly | arXiv preprint arXiv:2105.08996 | Simon Fowler Wen Kokke Ornela Dardha Sam Lindley J Garrett Morris | 2021/5/19 |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version) | arXiv preprint arXiv:2105.06973 | Paul Harvey Simon Fowler Ornela Dardha Simon J Gay | 2021/5/14 |
Row-Polymorphic Types for Strategic Rewriting | arXiv preprint arXiv:2103.13390 | Rongxiao Fu Xueying Qin Ornela Dardha Michel Steuwer | 2021/3/23 |
Papaya: global typestate analysis of aliased objects | Mathias Jakobsen Alice Ravier Ornela Dardha | 2021/9/6 | |
Coordination Models and Languages | Giovanna Di Marzo Serugendo Michele Loreti | 2018 | |
Deadlock-free session types in linear Haskell | Wen Kokke Ornela Dardha | 2021/8/18 | |
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics | arXiv preprint arXiv:2008.12414 | Ornela Dardha Jurriaan Rot | 2020/8/27 |
SFJ: An Implementation of Semantic Featherweight Java | Artem Usov Ornela Dardha | 2020/6/10 | |
Typechecking java protocols with [st] mungo | A Laura Voinea Ornela Dardha Simon J Gay | 2020/6/8 |