Secure compilation is a discipline aimed at developing compilers that preserve the security
properties of the source programs they take as input in the target programs they produce as …

Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide
an open global computing platform, called the Ethereum Virtual Machine (EVM). EVM …

TypeScript is an extension of JavaScript intended to enable easier development of large-
scale JavaScript applications. While every JavaScript program is a TypeScript program …

Siek and Taha [2006] coined the term gradual typing to describe a theory for integrating
static and dynamic typing within a single language that 1) puts the programmer in control of …

JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

Web applications (WAs) are constantly evolving and deployed at broad scale. However, they
are exposed to a variety of attacks. The biggest challenge facing organizations is how to …

Language researchers and designers have extended a wide variety of type systems to
support gradual typing, which enables languages to seamlessly combine dynamic and static …

Current proposals for adding gradual typing to JavaScript, such as Closure, TypeScript and
Dart, forgo soundness to deal with issues of scale, code reuse, and popular programming …

Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to
manipulate sensitive data without disclosing it. IFC is typically enforced via type systems and …

We define a new, more semantic interpretation of gradual types and use it to``gradualize''two
forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In …