Semantics and Types for Safe Web Programming

Arjun Guha. Semantics and Types for Safe Web Programming. PhD thesis, Brown University, USA, 2012. [doi]

Abstract

Abstract is missing.