Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.

Carmine Abate, Matteo Busi, Stelios Tsampas

Browse the full APLAS paper archive.