Mr Matthew Alan Le Brun

  • Tutor (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2024 | 2023
Number of items: 2.

2024

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)

2023

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)

This list was generated on Thu Nov 21 02:26:06 2024 GMT.
Number of items: 2.

Conference Proceedings

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)

This list was generated on Thu Nov 21 02:26:06 2024 GMT.