@misc{indiciaeb77da6e1b2f9,
  title = {Ferrite: A Judgmental Embedding of Session Types in Rust},
  author = {Ruofei Chen and Stephanie Balzer and Bernardo Toninho},
  year = {2022},
  url = {https://arxiv.org/abs/2009.13619},
  note = {Source identifier: 2009.13619}
}