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

A Possible New Backend for Rust

Is that a compiler backend or frontend? Cranelift Bringing this together Benchmarks Footnotes LLVM originally stood for Low Level Virtual Machine but this was dropped as LLVM is no longer a virtual machine and more of a library of utilities. https://githu... (more…)

Read more »