Hybrid static and dynamic typing languages are aimed at combining the benefits of both
kinds of languages: the early type error detection and compile-time optimizations of static …

Gradual typing has emerged as a popular design point in programming languages,
attracting significant interests from both academia and industry. Programmers in gradually …

Transient gradual typing imposes run-time type tests that typically cause a linear slowdown
in programs' performance. This performance impact discourages the use of type annotations …

Gradual typing has emerged as a promising typing discipline for reconciling static and
dynamic typing, which have respective strengths and shortcomings. Thanks to its promises …

The thrive of web technologies and applications demands effective testing methods for
quality assurance. For this purpose, researchers have proposed various testing techniques …

The measurement of the resources consumed by an application at runtime is an important
task in different scenarios such as program optimization, malware and bug detection, and …

Static typing and dynamic typing have respective strengths and weaknesses, and a
language often commits to one typing discipline and inherits the qualities, good or bad …

The measurement of the resources consumed by an application at runtime is an important
task in different scenarios such as program optimization, malware and bug detection, and …