"Formal semantics for multi-language programs" by Amal Ahmed
Strange Loop Conference · 40:23
This talk explains why Matthews and Findler's 2007 POPL paper "Operational Semantics for Multi-Language Programs" became so influential. The paper gave a simple, reusable recipe for formally defining how two source la...