Semantic soundness for language interoperability.

Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed

Browse the full PLDI paper archive.