/papers/fully-abstract-compilation-via-universal/proceedingspaper-7146793