Tobias Wrigstad
- Dala: A Simple Capability-Based Dynamic Language Design For Data\n Race-Freedom
2021/09/15 by Kiko Fernandez-Reyes, Fernandez-Reyes, Kiko, Isaac Oscar Gariano +9 · 1 voice
Computer Science · #Advanced Data Storage Technologies #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
- Rusty Links in Local Chains
2022/05/02 by James Noble, Julian Mackay, Noble, James +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing