Read the abstract for now. Great stuff. Need more just like that. Here&#x27;s some related work that&#x27;s more mature if anyone wants to toy with or preferably build on this stuff:<p>Swift - Automatically-partitioned, secure web apps
<a href="http:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;jif&#x2F;swift&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;jif&#x2F;swift&#x2F;</a><p>Opa - ML-based language for whole stack w&#x2F; type safety
<a href="http:&#x2F;&#x2F;opalang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;opalang.org&#x2F;</a><p>Ur&#x2F;Web - Functional, safe language &amp; framework for whole stack
<a href="http:&#x2F;&#x2F;www.impredicative.com&#x2F;ur&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.impredicative.com&#x2F;ur&#x2F;</a>