cotalks.dev

"Formal semantics for multi-language programs" by Amal Ahmed

(link)
note