Duncan Paul Attard
where else to find them
what they talk about
where they keep going back
- Erlang2 editions2021–2023
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lightning Talk: Towards Mailbox Typing for Erlang | Erlang 2023 | 2023-09-04 |
Mailbox types assign a state to a process mailbox as a commutative regular expression to statically detect protocol violations, payload mismatches, and… | ||
| Special Delivery: Programming with Mailbox Types | ICFP 2023 | 2023-09-04 |
Pat implements mailbox types that model each mailbox as a commutative regular expression and statically rule out protocol violations (double put, missing… | ||
| Graft: General Purpose Raft Consensus in Elixir | Erlang 2021 | 2021-08-26 |
Graft is an open source Elixir library implementing Raft with a minimal API (start, request), a graph.machine behavior (init, handle_entry), and config for a… | ||
| nothing matches | ||