The npm repository contains JavaScript libraries that are used by millions of software
developers. Its semantic versioning system relies on the ability to distinguish between …

Gradual typing combines static and dynamic typing in the same language, offering
programmers the error detection and strong guarantees of static types and the rapid …

Many language designers have adopted gradual typing. However, there remains open
questions regarding how to gradualize languages. Cimini and Siek (2016) created a …

The DefinitelyTyped repository hosts type declarations for thousands of JavaScript libraries.
Given the lack of formal connection between the types and the corresponding code, a …

The literature presents many strategies for enforcing the integrity of types when typed code
interacts with untyped code. This article presents a uniform evaluation framework that …

Programming language mechanisms with a type-directed semantics are nowadays common
and widely used. Such mechanisms include gradual typing, type classes, implicits and …

The design space of mixed-typed languages is lively but disorganized. On one hand,
researchers across academia and industry have contributed language designs that allow …

TreatJS is a language embedded, higher-order contract system for JavaScript which
enforces contracts by run-time monitoring. Beyond providing the standard abstractions for …

This paper proposes a new technique that enables open innovation in mobile platforms. Our
technique allows third-party developers to modify, instrument, or extend platform API calls …

Inline caches and hidden classes are two essential components for closing the performance
gap between static languages such as Java, Scheme, or ML and dynamic languages such …