Read the abstract for now. Great stuff. Need more just like that. Here's some related work that's more mature if anyone wants to toy with or preferably build on this stuff:

Swift - Automatically-partitioned, secure web apps http://www.cs.cornell.edu/jif/swift/

Opa - ML-based language for whole stack w/ type safety http://opalang.org/

Ur/Web - Functional, safe language & framework for whole stack http://www.impredicative.com/ur/