Gradual typing

Revisiting occurrence typing

Giuseppe Castagna, Victor Lanvin, Mickaƫl Laurent & Kim Nguyen
We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capture some programming patterns used in untyped languages.