vix.ing · top · new · best · stats · spec

Olek Gierczak

  1. Oxide: The Essence of Rust
    2019/03/03 by Aaron Weiss, Olek Gierczak, Weiss, Aaron +5 · 4 voices · 2 citations
    Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Software Engineering Research #cs.PL