"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)

Name: "Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)
Uploaded: 2023-10-07T00:00:00.000Z
Duration: 2447 s
Description: Video "Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)

(link)

Channel: Strange Loop Conference