Software maintenance is an expensive activity that consumes a major portion of the cost of
the total project. Various activities carried out during maintenance include the addition of …

Dynamically typed languages such as JavaScript and Python are increasingly popular, yet
static ty** has not been totally eclipsed: Python now supports type annotations and …

Type inference for dynamic programming languages such as Python is an important yet
challenging task. Static type inference techniques can precisely infer variables with enough …

Dynamic languages, such as Python and Javascript, trade static ty** for developer
flexibility and productivity. Lack of static ty** can cause run-time exceptions and is a major …

The increasing popularity of WebAssembly creates a demand for understanding and reverse
engineering WebAssembly binaries. Recovering high-level function types is an important …

Type annotations and gradual type checkers attempt to reveal errors and facilitate
maintenance in dynamically typed programming languages. Despite the availability of these …

Lambdas have seen increasing use in mainstream programming languages, notably in Java
8 and C++ 11. While the technical aspects of lambdas are known, we conducted the first …

In recent years, dynamic languages such as Python have become popular due to their
flexibility and productivity. The lack of static ty** makes programs face the challenges of …

TypeScript is a widely adopted gradual typed language where developers can optionally
type variables, functions, parameters and more. Probabilistic type inference approaches with …