PLRust

PLRust 2027 with ‹Programming› 2027

The Rust programming language has been widely used in the real world to build reliable and high-performance software. Programming language research and the development of Rust have inspired each other. Rust’s unique aspects, especially ownership types, lifetime-based borrowing, and borrow checking, have sparked interesting questions spanning type theory, formal methods, translation, tooling, education, and more. ...