Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen, Stephanie Balzer, Bernardo Toninho

Browse the full ECOOP paper archive.