Patterson, Daniel
- 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
- Semantic Soundness for Language Interoperability
2022/02/26 by Daniel W. Patterson, Noble Mushtak, Patterson, Daniel +5 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
- Rust Distilled: An Expressive Tower of Languages
2018/06/07 by Aaron Weiss, Daniel Patterson, Weiss, Aaron +3 · 1 voice
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL