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

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

Download MP3


Similar Tracks

"Why Programming Languages Matter" by Andrew Black Strange Loop Conference
"Experimentation: putting research papers into prod" by Leemay Nassery Strange Loop Conference
Formal semantics and pragmatics: Origins, issues, impact Dartmouth
Presto C++ Feature Deep Dive - IBM VeloxCon
"Supporting Data Journalism through Compilers for Visual Inputs" by Parker Ziegler Strange Loop Conference
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher Strange Loop Conference
"Concatenative programming and stack-based languages" by Douglas Creager Strange Loop Conference
"A JVM threading model for the containerized times" by Luiz Hespanha and Flavio Brasil Strange Loop Conference
But what are Hamming codes? The origin of error correction 3Blue1Brown
"Ectype - bringing type safety (and more!) to vanilla JavaScript" by Holly Wu (Strange Loop 2023) Strange Loop Conference
"Computational Physics, Beyond the Glass" by Sam Ritchie (Strange Loop 2023) Strange Loop Conference
Machine Code Explained - Computerphile Computerphile
"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega Strange Loop Conference
"Inside the Wizard Research Engine" by Ben L. Titzer Strange Loop Conference
"Is my Large Language Model a Strange Loop?" by Zac Hatfield-Dodds (Strange Loop 2023) Strange Loop Conference
"War Time Proofs and Futuristic Programs" by Valeria de Paiva Strange Loop Conference
"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023) Strange Loop Conference
"Programming Distributed Systems" by Mae Milano Strange Loop Conference
"Software & The Game of Go" by David Nolen (Strange Loop 2023) Strange Loop Conference