Racordon, Dimitri
- Native Implementation of Mutable Value Semantics
2021/06/23 by Dimitri Racordon, Racordon, Dimitri, Denys Shabalin +7 · 5 voices
Computer Science · #Logic, programming, and type systems #Distributed systems and fault tolerance #Formal Methods in Verification