2009): Secure Compilation of a Multi-Tier Web Language (0)

by Ioannis G Baltopoulos, Andrew D Gordon
Venue:In: TLDI