“Interoperability pervades nearly all mainstream language implementations, as most systems leverage subcomponents written in different languages. And yet, such linking can expose a language to foreign behaviors that are internally inexpressible, which poses a serious threat to safety invariants and programmer reasoning. … In this paper, we outline an approach that encapsulates foreign code in a sound way — i.e., without disturbing the invariants promised by types of the core language.”

Find the paper and full list of authors in the Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development.