Rust

par-lang

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.