×

Gradual typing embedded securely in JavaScript. (English) Zbl 1284.68108

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 425-437 (2014).

MSC:

68N15 Theory of programming languages
68N18 Functional programming and lambda calculus
68N20 Theory of compilers and interpreters
68Q55 Semantics in the theory of computing
03B70 Logic in computer science

Software:

TS#; JavaScript
PDFBibTeX XMLCite
Full Text: DOI