Daniel Patterson
- 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
- Rust Distilled: An Expressive Tower of Languages
2018/06/07 by Aaron Weiss, Weiss, Aaron, Daniel Patterson +3 · 1 voice
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL