Mr Matthew Alan Le Brun

  • Tutor (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023
Number of items: 3.

2025

Le Brun, Matthew Alan, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2025) Multiparty Session Types with a Bang! In: 34th European Symposium on Programming (ESOP 2025), Hamilton, Canada, 3–8 May 2025, pp. 125-153. ISBN 9783031911200 (doi: 10.1007/978-3-031-91121-7_6)

2024

Le Brun, Matthew Alan and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, (Accepted for Publication)

2023

Le Brun, Matthew Alan and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (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)

This list was generated on Sat Jun 14 13:20:40 2025 BST.
Jump to: Conference Proceedings
Number of items: 3.

Conference Proceedings

Le Brun, Matthew Alan, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2025) Multiparty Session Types with a Bang! In: 34th European Symposium on Programming (ESOP 2025), Hamilton, Canada, 3–8 May 2025, pp. 125-153. ISBN 9783031911200 (doi: 10.1007/978-3-031-91121-7_6)

Le Brun, Matthew Alan and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (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, Matthew Alan and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (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)

This list was generated on Sat Jun 14 13:20:40 2025 BST.