Fully abstract compilation to JavaScript
Links: Web programming without tiers