Mr Matthew Alan Le Brun
- Tutor (School of Computing Science)
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Le Brun, M. A., Fowler, S. and Dardha, O. (2024) Multiparty Session Types with a Bang! In: ESOP 2025, Hamilton, Canada, 3–8 May 2025, (Accepted for Publication)
Le Brun, M. A. and Dardha, O. (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, (Accepted for Publication)
Le Brun, M. A. and Dardha, O. (2023) MAGπ: Types for Failure-Prone Communication. In: 32nd European Symposium on Programming (ESOP23), Paris, France, 22-27 April 2023, pp. 363-391. (doi: 10.1007/978-3-031-30044-8_14)
Le Brun, M. A., Fowler, S. and Dardha, O. (2024) Multiparty Session Types with a Bang! In: ESOP 2025, Hamilton, Canada, 3–8 May 2025, (Accepted for Publication)
Le Brun, M. A. and Dardha, O. (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, (Accepted for Publication)
Le Brun, M. A. and Dardha, O. (2023) MAGπ: Types for Failure-Prone Communication. In: 32nd European Symposium on Programming (ESOP23), Paris, France, 22-27 April 2023, pp. 363-391. (doi: 10.1007/978-3-031-30044-8_14)