16 citations · 28 across the 7 of their papers we have counts for
1 paper · 1 filter
Wen Kokke
Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respe…