cotalks.dev

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

(link)
note