"Programming Distributed Systems" by Mae Milano
Strange Loop Conference · 41:03
The talk argues that better programming-language design can make distributed and concurrent programming much safer without giving up performance. It walks through three research lines that use compile-time analysis: M...