Type-Level Programming in Rust

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi… Read more

Similar

Working with Rust

Working with Rust Working with Rust is a set of examples that cover common programming functions, tasks, and problems. It assumes a base programming knowledge and looking for the proper syntax and … (more…)

Read more »