Number of items: 4.
2025
Le Brun, Matthew Alan
ORCID: https://orcid.org/0000-0001-7394-0122, Fowler, Simon
ORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela
ORCID: 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
ORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela
ORCID: 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,
pp. 99-117.
ISBN 9783031626449
(doi: 10.1007/978-3-031-62645-6_6)
2023
Le Brun, Matthew Alan
ORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela
ORCID: 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)
2021
Le Brun, Matthew Alan
ORCID: https://orcid.org/0000-0001-7394-0122, Attard, Duncan Paul and Francalanza, Adrian
(2021)
Graft: General Purpose Raft Consensus in Elixir.
In: Erlang 2021: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Virtual, Republic of Korea, 26 August 2021,
pp. 2-14.
ISBN 9781450386128
(doi: 10.1145/3471871.3472963)
This list was generated on Sat Apr 18 20:51:32 2026 BST.