Ferrite
Ferrite is a DSL for writing session type programs in Rust. This is an ongoing research work by me and Stephanie Balzer to implement session types in Rust.
Ferrite is a DSL for writing session type programs in Rust. This is an ongoing research work by me and Stephanie Balzer to implement session types in Rust.