Fully abstract compilation to JavaScript.

Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits

Browse the full POPL paper archive.