TY  - RPRT
TI  - Flux: Liquid Types for Rust
AU  - Nico Lehmann
AU  - Adam Geller
AU  - Niki Vazou
AU  - Ranjit Jhala
PY  - 2022
UR  - https://arxiv.org/abs/2207.04034
ID  - 2207.04034
ER  -