TS#

MaRDI QIDQ26114swMATHFDO

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#