TY  - RPRT
TI  - Ferrite: A Judgmental Embedding of Session Types in Rust
AU  - Ruo Fei Chen
AU  - Stephanie Balzer
AU  - Bernardo Toninho
PY  - 2022
UR  - https://arxiv.org/abs/2205.06921
ID  - 2205.06921
ER  -