Behavioral software contracts allow programmers to strengthen the obligations and
promises that they express with conventional types. They lack expressive power, though …

Sound gradual types come in many forms and offer varying levels of soundness. Two
extremes are deep types and shallow types. Deep types offer compositional guarantees but …

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 …

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

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 …

Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by
design. To enforce data-race freedom, these languages either deep copy objects during …

Static analyses provide the foundation for several tools that help developers find problems
before executing the program under analysis. Common applications include warning about …

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

The aim of this thesis is the integration of gradual typing into systems with intersection types.
We focus on two target calculi for this analysis: the λ-calculus and the core object calculus …

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 …