Gradually typed languages allow programmers to mix statically and dynamically code, enabling them incrementally reap the benefits of static typing as they add type annotations their code. However, this migration process is typically a manual effort with limited tool support. This paper examines problem automated migration: given dynamic program, infer additional or improved annotations. Existin...

Pragmatic modulation makes contextual information necessary for interpretation. This poses a problem homophonic reports and inter-contextual communication in general: of co-situated interlocutors, we can expect some common ground, but non-co-situated interpreters lack access to the context utterance. Here I argue that nonetheless share modulated contents via reports. First, occasion-unspecific ...

Probabilistic programming languages have recently gained a lot of attention, in particular due to their applications domains such as machine learning and differential privacy. To establish invariants interest, many include some form static checking the type systems. However, adopting discipline can be cumbersome or overly conservative. Gradual typing addresses this problem by supporting smooth ...