Ferrite: A Judgmental Embedding of Session Types in Rust

Ruo Fei Chen, Stephanie Balzer, Bernardo Toninho

\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dominant concurrency paradigm in practice,…