BLEG: What are good types for communication protocols? I want abstraction way above the level of (re)connection: protocol combinators and epistemic logic. Something like "conversation" types. NB: Using OCaml, but will happily port from e.g. Haskell if possible.
Acute & HashCaml are interesting, but they address only(?) the lower-level (un)marshalling layers, and do so with a threat model too weak for my use case.
Read my blog!