Mr Matthew Alan Le Brun

  • Tutor (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2023
Number of items: 1.

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 Sun Oct 1 19:25:19 2023 BST.
Number of items: 1.

Conference Proceedings

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 Sun Oct 1 19:25:19 2023 BST.