Operational semantics for multi-language programs.

Jacob Matthews, Robert Bruce Findler

Browse the full POPL paper archive.