1 paper
Alexander Loitzl, Niklas Mück, Michael Sammler
Real-world programs are rarely written in a single language: For example, C programs call assembly routines, and high-level languages like OCaml link with low-level C libraries. Ye…