Matthew Alan Le Brun

According to our database, Matthew Alan Le Brun authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

MAG π!: The Role of Replication in Typing Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

CoRR, 2024

MAGπ!: The Role of Replication in Typing Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

MAGπ: Types for Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

Proceedings of the Programming Languages and Systems, 2023

2021

Graft: general purpose raft consensus in Elixir.

Matthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021