1 paper
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent +1
We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although oc…