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