TS#

swMATH14208MaRDI QIDQ26114FDOQ26114

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=2535838.2535889

Described by source

• Gradual typing embedded securely in JavaScript

Cited In (7)

• Cecil
• gradualizerDynamicSemantics
• TypeScript
• JavaSPI
• Dylan
• JSLINQ
• Formal methods for web security

This page was built for software: TS#