Operational semantics for multilanguage programs (2007)

by Jacob Matthews, Robert Bruce Findler
Venue:In POPL ’07