Askar Safin

Rust, Linux, programming languages, type systems