KRust: A Formal Executable Semantics of Rust | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

KRust: A Formal Executable Semantics of Rust | Heykuki News

KRust: A Formal Executable Semantics of Rust

148 points

8 years ago

48 comments

Threaded

Loading comments...