Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.
Available at https://benrobinson.dev/papers/places26-full.pdf
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Branching Out: Existential External Choice in Effpi
Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.