Live programming environments aim to provide programmers (and sometimes audiences)
with continuous feedback about a program's dynamic behavior as it is being edited. The …

Gradually typed languages are designed to support both dynamically typed and statically
typed programming styles while preserving the benefits of each. While existing gradual type …

The polymorphic blame calculus integrates static ty**, including universal types, with
dynamic ty**. The primary challenge with this integration is preserving parametricity: even …

We study an extension of gradual ty**—a method to integrate dynamic ty** and static
ty** smoothly in a single language—to parametric polymorphism and its theoretical …

Gradual ty** allows programs to enjoy the benefits of both static ty** and dynamic
ty**. While it is often desirable to migrate a program from more dynamically-typed to more …

Gradually typed languages allow statically typed and dynamically typed code to interact
while maintaining benefits of both styles. The key to reasoning about these mixed programs …

We propose HOBiT, a higher-order bidirectional programming language, in which users can
write bidirectional programs in the familiar style of conventional functional programming …

Gradual ty** is an effective approach to integrate static and dynamic ty**, which
supports the smooth transition between both extremes via the imprecision of type …

There are several different gradual ty** semantics, reflecting different trade-offs between
performance and type soundness guarantees. Notably absent, however, are any data on …